Rechercher une page de manuel
sat4j
Langue: en
Version: June 8, 2008 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
sat4j - efficient library of SAT solvers in JavaSYNOPSIS
sat4j input-fileDESCRIPTION
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 <mt@debian.org>, for the Debian project (but may be used by others).
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre