Expand description
Kernel function names in the SAT module
Constantsยง
- SAT_
ASSERT_ OK - SAT_
ASSERT_ STATUS - SAT_
CDCL_ SOLVE - SAT_
CHECK_ MODEL - SAT_
CNF_ COPY_ INTO - SAT_
CNF_ WRITE_ TERMINATOR - SAT_
EMIT_ NOT_ PHI - SAT_
NOT_ PHI_ COUNTS - SAT_
PROOF_ CHECK - SAT_
PROOF_ MARK_ NEEDED - SAT_
SHIFT_ OFFSETS - SAT_
XGCF_ CNF_ CAPTURE_ LAST_ COUNTS - SAT_
XGCF_ CNF_ COMPUTE_ TOTALS - SAT_
XGCF_ CNF_ COUNTS - SAT_
XGCF_ CNF_ EMIT - SAT_
XGCF_ WRITE_ ROOT_ UNIT_ CLAUSE