summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satSolver2.c
Commit message (Expand)AuthorAgeFilesLines
...
* Bug fix related to not properly resizing SAT solver's model array.Alan Mishchenko2012-01-121-0/+1
* Bug fix related to not properly resizing SAT solver's model array.Alan Mishchenko2012-01-061-5/+3
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-3/+4
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-2/+2
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-2/+2
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-15/+17
* Started SAT-based reparameterization.Alan Mishchenko2011-12-131-6/+2
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-5/+6
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-12/+12
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-68/+194
* Changes to the main SAT solver: fixing performance bug (resetting decay param...Alan Mishchenko2011-12-091-20/+20
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-081-28/+22
* Proof-logging in the updated solver.Alan Mishchenko2011-12-081-1/+1
* Proof-logging in the updated solver.Alan Mishchenko2011-12-081-66/+112
* Proof-logging in the updated solver.Alan Mishchenko2011-12-071-33/+18
* Proof-logging in the updated solver.Alan Mishchenko2011-12-061-21/+9
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-0/+5
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-94/+112
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-17/+25
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-32/+40
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-278/+343
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-190/+447
* Started experiments with a new solver.Alan Mishchenko2011-11-271-637/+241
* Started experiments with a new solver.Alan Mishchenko2011-11-261-491/+402
* Started experiments with a new solver.Alan Mishchenko2011-11-261-3/+10
* Started experiments with a new solver.Alan Mishchenko2011-11-261-70/+368
* Started experiments with a new solver.Alan Mishchenko2011-11-251-0/+1482
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 17:57:22 +0000