SAT solvers - Sage

More documents

Recommendations

Info

Sage Reference Manual: Sat, Release 6.2 26 Python Module Index
INDEX Symbols __call__() (sage.sat.converters.polybori.CNFEncoder method), 11 __call__() (sage.sat.solvers.dimacs.DIMACS method), 5 __init__() (sage.sat.converters.polybori.CNFEncoder method), 10 __init__() (sage.sat.solvers.dimacs.DIMACS method), 4 A add_clause() (sage.sat.solvers.dimacs.DIMACS method), 5 C clauses() (sage.sat.converters.polybori.CNFEncoder method), 11 clauses() (sage.sat.solvers.dimacs.DIMACS method), 5 clauses_dense() (sage.sat.converters.polybori.CNFEncoder method), 12 clauses_sparse() (sage.sat.converters.polybori.CNFEncoder method), 12 CNFEncoder (class in sage.sat.converters.polybori), 9 CNFEncoder.permutations() (in module sage.sat.converters.polybori), 13 D DIMACS (class in sage.sat.solvers.dimacs), 4 G Glucose (class in sage.sat.solvers.dimacs), 7 L learn() (in module sage.sat.boolean_polynomials), 17 M monomial() (sage.sat.converters.polybori.CNFEncoder method), 13 N nvars() (sage.sat.solvers.dimacs.DIMACS method), 6 P phi (sage.sat.converters.polybori.CNFEncoder attribute), 14 27
Page 1: Sage Reference Manual: Sat Release
Page 5 and 6: Sage Reference Manual: Sat, Release
Page 7 and 8: CHAPTER ONE SOLVERS Any SAT solver
Page 13 and 14: CHAPTER TWO CONVERTERS Sage support
Page 21 and 22: CHAPTER THREE HIGHLEVEL INTERFACES
Page 25 and 26: CHAPTER FOUR INDICES AND TABLES •
Page 27 and 28: BIBLIOGRAPHY [CB07] Nicolas Courtoi
Page 29: PYTHON MODULE INDEX s sage.sat.bool

SAT solvers - Sage

Create successful ePaper yourself

Delete template?

Save as template?