SAT solvers - Sage
SAT solvers - Sage
SAT solvers - Sage
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Sage</strong> Reference Manual: Sat, Release 6.2<br />
class sage.sat.<strong>solvers</strong>.dimacs.Glucose(command=None, filename=None, verbosity=0, **kwds)<br />
Bases: sage.sat.<strong>solvers</strong>.dimacs.DIMACS<br />
An instance of the Glucose solver.<br />
For information on Glucose see: http://www.lri.fr/~simon/?page=glucose<br />
class sage.sat.<strong>solvers</strong>.dimacs.RSat(command=None, filename=None, verbosity=0, **kwds)<br />
Bases: sage.sat.<strong>solvers</strong>.dimacs.DIMACS<br />
An instance of the RSat solver.<br />
For information on RSat see: http://reasoning.cs.ucla.edu/rsat/<br />
8 Chapter 1. Solvers