SAT4J(1) General Commands Manual SAT4J(1)NAMEsat4j - efficient library of SAT solvers in JavaSYNOPSISsat4j input-fileDESCRIPTIONThis 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.AUTHORsat4j 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)