Package: wnpp Severity: wishlist Owner: Pietro Abate <pietro.ab...@pps.jussieu.fr> Owner: Pietro Abate <pietro.ab...@pps.jussieu.fr>
* Package name : libminisat2-ocaml Version : 0.3 Upstream Author : Pietro Abate <pietro.ab...@pps.jussieu.fr> * URL : http://github.com/abate/MiniSat-ocaml/tree/minisat2 * License : GPLv3 Programming Lang: Ocaml Description : Ocaml bindings for minisat2 MiniSat-ocaml is a set of OCaml bindings for the SAT solver MiniSat. Instead of reimplementing MiniSat itself in OCaml, this library makes the MiniSat interface available through OCaml. The usage of the OCaml interface is pretty straightforward and mimics the C++ interface. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100326112608.17817.65609.report...@dev.localnet.xen