musikk / minisat4j Goto Github PK

minisat4j eases the use of Minisat from Java programs. Minisat is used by
calling the configured executable, writing some text to its standard input and
reading the output once it's completed.

The configuration file solver.cfg must be present but may be empty. Currently
only two options are recognized:

solver.executable - this denotes the name of the executable of minisat. Some
distributions choose other names than minisat (e.g. Ubuntu Linux uses minsat2).

verbose - can only be true or false. If this option is set to true the solver
prints every constraint that gets passed to minisat on stdout. It is recommended
to only turn this option on when dealing with small constraint systems.