sat4j (1)

Leading comments

                                     Hey, EMACS: 
First parameter, NAME, should be all caps
Second parameter, SECTION, should be 1-8, maybe w/ subsection
other parameters are allowed: see man(7), man(1)

(The comments found at the beginning of the groff file "man1/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.

An initial set of documentation can be found at 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.

AUTHOR

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