Skip to main content
Back to top
Ctrl
+
K
About
Quick Start
API reference
Contributing
Search
Ctrl
+
K
GitHub
PyPI
Search
Ctrl
+
K
About
Quick Start
API reference
Contributing
GitHub
PyPI
Section Navigation
npycomp.problems
SAT
from_dimacs
reconstruct
reduce
solve
ThreeSAT
from_dimacs
reconstruct
reduce
solve
Clique
from_dimacs
reconstruct
reduce
solve
npycomp.reductions
clique_to_sat
threesat_to_clique
threesat_to_sat
npycomp.solvers
DPLL
model_to_string
solve
API Reference
npycomp.problems
SAT
reconstruct
npycomp.problems.SAT.
reconstruct
#
SAT.
reconstruct
(
solution
)
#
Reconstruct the solution.
