summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satSolver2.c
Commit message (Expand)AuthorAgeFilesLines
* Reducing memory usage in proof-based abstraction.Alan Mishchenko2012-07-291-28/+61
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+4
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+2
* Several small changes and fixes.Alan Mishchenko2012-07-131-3/+7
* Added procedure for checking satisfied clauses.Alan Mishchenko2012-07-121-0/+37
* Silencing warnings.Alan Mishchenko2012-07-111-1/+1
* Silencing warnings.Alan Mishchenko2012-07-111-3/+1
* Changes to clause mapping.Alan Mishchenko2012-07-111-1/+6
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-307/+302
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-101-0/+1
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-101-10/+0
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-091-0/+7
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-091-0/+3
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat...Alan Mishchenko2012-07-091-49/+49
* Updating memory print-out of &vta and &gla.Alan Mishchenko2012-07-081-3/+4
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-3/+4
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-1/+51
* Switching to a variable-page-size memory manager for clauses and proofs.Alan Mishchenko2012-03-211-1/+1
* Some fixes for VTA under Bridge.Niklas Een2012-03-031-81/+80
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-2/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-4/+4
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-6/+7
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-64/+72
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-23/+23
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-2/+6
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-16/+19
* Variable timeframe abstraction.Alan Mishchenko2012-02-121-67/+48
* Variable timeframe abstraction.Alan Mishchenko2012-02-111-9/+28
* Variable timeframe abstraction.Alan Mishchenko2012-01-281-13/+17
* Variable timeframe abstraction.Alan Mishchenko2012-01-271-196/+98
* Variable timeframe abstraction.Alan Mishchenko2012-01-241-15/+40
* Variable timeframe abstraction.Alan Mishchenko2012-01-241-10/+80
* Variable timeframe abstraction.Alan Mishchenko2012-01-201-12/+16
* Improving printout in the SAT solver.Alan Mishchenko2012-01-131-1/+2
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-02 01:36:42 +0000