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