summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satSolver2.h
Commit message (Expand)AuthorAgeFilesLines
* 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-0/+2
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-0/+1
* Started SAT-based reparameterization.Alan Mishchenko2011-12-131-0/+5
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-1/+1
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-1/+12
* Changes to the main SAT solver: fixing performance bug (resetting decay param...Alan Mishchenko2011-12-091-13/+14
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-081-10/+5
* Proof-logging in the updated solver.Alan Mishchenko2011-12-081-1/+1
* Proof-logging in the updated solver.Alan Mishchenko2011-12-081-4/+6
* Proof-logging in the updated solver.Alan Mishchenko2011-12-071-6/+3
* Proof-logging in the updated solver.Alan Mishchenko2011-12-061-5/+8
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-76/+110
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-0/+8
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-0/+1
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-5/+6
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-10/+21
* Removing redundant function declarations.Alan Mishchenko2011-12-021-4/+0
* Started experiments with a new solver.Alan Mishchenko2011-11-271-8/+24
* Started experiments with a new solver.Alan Mishchenko2011-11-261-55/+45
* Started experiments with a new solver.Alan Mishchenko2011-11-261-2/+2
* Started experiments with a new solver.Alan Mishchenko2011-11-261-0/+1
* Started experiments with a new solver.Alan Mishchenko2011-11-251-0/+194
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 13:06:11 +0000