summaryrefslogtreecommitdiffstats
path: root/src/sat/xsat
Commit message (Collapse)AuthorAgeFilesLines
* Fix wrong type cast.Mathias Soeken2017-03-061-1/+1
|
* Movinng custom floating-point implementations, etc.Alan Mishchenko2017-02-112-453/+0
|
* Platform-independent double.Alan Mishchenko2017-02-112-1/+226
|
* Reordering if-statements in the xsat solver.Alan Mishchenko2017-02-021-5/+3
|
* Custom floating-point number.Alan Mishchenko2017-01-281-0/+15
|
* Custom floating-point number.Alan Mishchenko2017-01-281-0/+213
|
* Fixing windows compilation problem.Alan Mishchenko2017-01-243-3/+4
|
* Fixing gcc compilation problem.Alan Mishchenko2017-01-241-2/+2
|
* Fixes to make xSAT compile with old compilers.Bruno Schmitt2016-12-138-136/+119
| | | | Small typos and variables renaming.
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-132-4/+3
|
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-137-109/+137
|
* xSAT is an experimental SAT Solver based on Glucose v3(see Glucose ↵Bruno Schmitt2016-12-1213-0/+3151
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.