summaryrefslogtreecommitdiffstats
path: root/src/sat/xsat
Commit message (Expand)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
* 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 copyrights...Bruno Schmitt2016-12-1213-0/+3151