summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satClause.h
Commit message (Expand)AuthorAgeFilesLines
* Adding an option to bmc3 to use Satoko intead of the default SAT solver.Alan Mishchenko2017-08-131-1/+1
* Compiler warnings.Alan Mishchenko2017-04-281-3/+3
* Compiler warnings.Alan Mishchenko2017-04-281-3/+3
* Compiler warnings.Alan Mishchenko2017-04-281-3/+3
* SAT variable profiling.Alan Mishchenko2013-05-181-2/+2
* SAT variable profiling.Alan Mishchenko2013-05-181-2/+2
* Fixing the dump of SAT solver into a CNF file.Alan Mishchenko2013-03-261-4/+4
* Fixed the problem with 'write_cnf' after recent changes to the SAT solver.Alan Mishchenko2012-07-281-3/+8
* Silencing warnings.Alan Mishchenko2012-07-111-4/+5
* Changes to clause mapping.Alan Mishchenko2012-07-111-1/+1
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-23/+92
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat...Alan Mishchenko2012-07-091-0/+401