sat4j1
Efficient library of sat solvers in java
Usage
sat4j input-file
Overview
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.
Releases
8 releases since Debian 6.0 (Squeeze); the text changed 1 time.