Name |
Last commit
|
Last update |
---|---|---|
.. | ||
license | ||
module.make | ||
xsat.h | ||
xsatBQueue.h | ||
xsatClause.h | ||
xsatCnfReader.c | ||
xsatHeap.h | ||
xsatMemory.h | ||
xsatSolver.c | ||
xsatSolver.h | ||
xsatSolverAPI.c | ||
xsatUtils.h | ||
xsatWatchList.h |
xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights below) and ABC C version of MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. It’s development has reached sufficient maturity to be committed in ABC, but still in a beta state. TODO: * Read compressed CNF files. * Study the use of floating point for variables and clauses activity. * Better documentation. * Improve verbose messages. * Expose parameters for tuning.
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
license | Loading commit data... | |
module.make | Loading commit data... | |
xsat.h | Loading commit data... | |
xsatBQueue.h | Loading commit data... | |
xsatClause.h | Loading commit data... | |
xsatCnfReader.c | Loading commit data... | |
xsatHeap.h | Loading commit data... | |
xsatMemory.h | Loading commit data... | |
xsatSolver.c | Loading commit data... | |
xsatSolver.h | Loading commit data... | |
xsatSolverAPI.c | Loading commit data... | |
xsatUtils.h | Loading commit data... | |
xsatWatchList.h | Loading commit data... |