[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#575500: ITP: libminisat2-ocaml -- Ocaml bindings for minisat2

Package: wnpp
Severity: wishlist
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>

* Package name    : libminisat2-ocaml
  Version         : 0.3
  Upstream Author : Pietro Abate <pietro.abate@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.

Reply to: