JFYI (Pietro: it is better to Cc d-o-m on ITP related to OCaml.) ----- Forwarded message from Pietro Abate <pietro.abate@pps.jussieu.fr> ----- Date: Fri, 26 Mar 2010 12:26:08 +0100 From: Pietro Abate <pietro.abate@pps.jussieu.fr> To: Debian Bug Tracking System <submit@bugs.debian.org> Subject: 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. -- To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org Archive: http://lists.debian.org/20100326112608.17817.65609.reportbug@dev.localnet.xen ----- End forwarded message ----- -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature