sat4j - efficient library of SAT solvers in Java

       sat4j was written by Daniel Le Berre.

       This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project  (but  may  be
       used by others).

                                                  June  8, 2008                                         SAT4J(1)

       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 - efficient library of SAT solvers in Java

sat4jinput-file