sat4j Man page

SAT4J(1) General Commands Manual SAT4J(1)


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.

An initial set of documentation can be found at (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 , for
the Debian project (but may be used by others).

June 8, 2008 SAT4J(1)

Ils en parlent aussi

RobotCub / Mailing Lists – SourceForge