-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
22 lines (16 loc) · 845 Bytes
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
ocaml bingings for picosat
==========================
The package provides an example, solver.ml, that reads from standard input a
formula and print its satisfiability and a satisfying assignment (if any). A
formula is a sequence of lines that either define a variable ('v' <name>),
define a clause ('c' followed by a sequence of names, with a leading '-' if
they are negated in the clause) and comments (starting with '#'). A couple of
example formulas are available in the 'examples/' directory.
for documentation refer to picosat.h and picosat.mli
Install and use
===============
To compile ocaml-picosat you need the picosat solver (compiled as a dynamic
library) installed on the system.
The library assumes :
/usr/include/picosat/picosat.h and /usr/lib/libpicosat.so.1.0.0
Sun Apr 04 2010 Pietro Abate <[email protected]>