summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satSolver.h
Commit message (Expand)AuthorAgeFilesLines
* Adding rollback for the other solver.Alan Mishchenko2013-04-251-0/+21
* Compiler warnings.Alan Mishchenko2013-02-231-0/+1
* Recording and reusing learned util clauses in bmc3.Alan Mishchenko2012-07-221-1/+3
* Several small changes and fixes.Alan Mishchenko2012-07-131-1/+0
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-5/+4
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-091-0/+3
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat...Alan Mishchenko2012-07-091-3/+14
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-3/+3
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-1/+1
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-151-0/+1
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-281-1/+1
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Variable timeframe abstraction.Alan Mishchenko2012-01-201-3/+3
* Bug fix related to not properly resizing SAT solver's model array.Alan Mishchenko2012-01-061-7/+8
* APIs to represent simple gates in CNF.Alan Mishchenko2012-01-051-0/+100
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-65/+70
* Undoing temporary change to the solver.Alan Mishchenko2011-12-151-1/+1
* Temporary change to the solver.Alan Mishchenko2011-12-151-1/+1
* Implemented rollback in the main SAT solver and updated PDR to use it (saves ...Alan Mishchenko2011-12-101-0/+1
* Changes to the main SAT solver: fixing performance bug (resetting decay param...Alan Mishchenko2011-12-091-41/+9
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-2/+2
* Started experiments with a new solver.Alan Mishchenko2011-11-261-2/+2
* Improvement to the SAT solver (skipping binary clauses).Alan Mishchenko2011-11-251-4/+4
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-121-0/+8
* Adding SAT-solver-level timeouts to the BMC engines.Alan Mishchenko2011-04-081-1/+7
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-2/+0
* Initial implementation of AnalyseFinalAlan Mishchenko2010-12-031-0/+8
* initial commit of public abcAlan Mishchenko2010-11-011-13/+21
* Version abc90215Alan Mishchenko2009-02-151-20/+11
* Version abc81029Alan Mishchenko2008-10-291-0/+8
* Version abc80725Alan Mishchenko2008-07-251-0/+1
* Version abc80719Alan Mishchenko2008-07-191-0/+1
* Version abc80202Alan Mishchenko2008-02-021-0/+2
* Version abc80130_2Alan Mishchenko2008-01-301-0/+210
* Version abc80130Alan Mishchenko2008-01-301-210/+0
* Version abc80116Alan Mishchenko2008-01-161-0/+1
* Version abc71130Alan Mishchenko2007-11-301-0/+18
* Version abc71001Alan Mishchenko2007-10-011-0/+191
* Version abc70930Alan Mishchenko2007-09-301-191/+0
* Version abc70926Alan Mishchenko2007-09-261-0/+2
* Version abc70216Alan Mishchenko2007-02-161-0/+5
* Version abc70206Alan Mishchenko2007-02-061-0/+2
* Version abc70123Alan Mishchenko2007-01-231-1/+32
* Version abc61007Alan Mishchenko2006-10-071-0/+151
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 11:55:25 +0000