Efficient library of sat solvers in java
sat4j input-file
This manual page documents briefly the sat4j command.
sat4j is an efficient library for SAT solvers written in Java.
An initial set of documentation can be found at http://www.sat4j.org/doc.php (in particular the "getting started guide" is recommended). This documentation is not shipped in the package as it is not DFSG-free.
sat4j was written by Daniel Le Berre.
This manual page was written by Michael Tautschnig <[email protected]>, for the Debian project (but may be used by others).