summaryrefslogtreecommitdiffstats
path: root/src/sat/xsat/xsatClause.h
Commit message (Expand)AuthorAgeFilesLines
* Fixes to make xSAT compile with old compilers.Bruno Schmitt2016-12-131-4/+4
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-131-1/+1
* xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...Bruno Schmitt2016-12-121-0/+109