|File Search||Catalog||Content Search|
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.
MINISAT(1) MINISAT(1) NAME minisat - fast and lightweight SAT solver SYNOPSIS minisat [options] input-file result-output-file minisat takes as input a plain or gzipped DIMACS formatted file. The satisfiability of this input problem is indicated both via standard output and the return value. DESCRIPTION more»
minisat2 (1:2.2.1-3) unstable; urgency=low * Updated man page (closes: #638217) -- Michael Tautschnig <firstname.lastname@example.org> Sat, 03 Sep 2011 21:03:43 +0100 minisat2 (1:2.2.1-2) unstable; urgency=low * Include headers from simp/ directory in package * Bumped standards version to 3.9.2 (no changes) -- Michael Tautschnig <email@example.com> Mon, 13 Jun 2011 15:13:41 +0200 minisat2 (1:2.2.1-1) u more»
Release Notes for MiniSat 2.2.0 =============================== Changes since version 2.0: * Started using a more standard release numbering. * Includes some now well-known heuristics: phase-saving and luby restarts. The old heuristics are still present and can be activated if needed. * Detection/Handling of out-of-memory and vector capacity overflow. This is fairly new and relativ more»
This package was debianized by Michael Tautschnig <firstname.lastname@example.org> on Sat, 7 Jun 2008 17:10:44 +0200 more»