Home › minisat2 ocaml bindings

Reply to comment

minisat2 ocaml bindings

29 March 2010 - 4:38pm — abate

Release early, release often !

I've been working with Falvio Lerda to update the ocaml binding to minisat2.

The biggest change from Fabio's original version is the object oriented interface (mimicking the library c++ interface) and the addition of a couple of bindings.

You can find the git repo here.

I've also been working on the debian package and I've committed a draft package on git.debian.org.

A simple example is includes in the source where this is the main function.

(* Reads a given file and solves the instance. *)
let solve file =
  let solver = new solver in
  let vars = process_file solver file in
  match solver#solve with
  | Minisat.UNSAT -> printf "unsat\n"
  | Minisat.SAT   ->
      printf "sat\n";
      Hashtbl.iter
        (fun name v ->
          printf "  %s=%s\n"
            name
            (Minisat.string_of_value (solver#value_of v))
        )
        vars

Now I plan to finish the binding to minisat2 and then to attach minisat+. It should not be too difficult, if anyone is interested to lend me a hand, drop me a line.

Average: 1 (14 votes)

Reply

The content of this field is kept private and will not be shown publicly.
CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
k
6
z
K
W
D
Enter the code without spaces and pay attention to upper/lower case.