sat4j - 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.
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