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 />
R<br />
render_dimacs() (sage.sat.<strong>solvers</strong>.dimacs.DIMACS static method), 6<br />
RSat (class in sage.sat.<strong>solvers</strong>.dimacs), 8<br />
S<br />
sage.sat.boolean_polynomials (module), 17<br />
sage.sat.converters.polybori (module), 9<br />
sage.sat.<strong>solvers</strong>.dimacs (module), 4<br />
solve() (in module sage.sat.boolean_polynomials), 18<br />
split_xor() (sage.sat.converters.polybori.CNFEncoder method), 14<br />
T<br />
to_polynomial() (sage.sat.converters.polybori.CNFEncoder method), 14<br />
V<br />
var() (sage.sat.converters.polybori.CNFEncoder method), 15<br />
var() (sage.sat.<strong>solvers</strong>.dimacs.DIMACS method), 7<br />
W<br />
write() (sage.sat.<strong>solvers</strong>.dimacs.DIMACS method), 7<br />
Z<br />
zero_blocks() (sage.sat.converters.polybori.CNFEncoder method), 15<br />
28 Index