sat4j

SAT4J(1)                                                              SAT4J(1)



NAME
       sat4j - efficient library of SAT solvers in Java

SYNOPSIS
       sat4j input-file

DESCRIPTION
       This manual page documents briefly the sat4j command.

       sat4j is an efficient library for SAT solvers written in Java.

AUTHOR
       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)