summaryrefslogtreecommitdiffstats
path: root/src/sat
Commit message (Collapse)AuthorAgeFilesLines
* Adding an option to bmc3 to use Satoko intead of the default SAT solver.Alan Mishchenko2017-08-161-34/+35
|
* Changing enconding of the SAT solver return value in &bmcs.Alan Mishchenko2017-08-161-5/+11
|
* Additional changes to Satoko to enable various integrations.Alan Mishchenko2017-08-164-22/+44
|
* Trying &bmcs with external solvers.Alan Mishchenko2017-08-151-20/+28
|
* Trying &bmcs with external solvers.Alan Mishchenko2017-08-151-38/+54
|
* Added several helpful APIs to Satoko.Alan Mishchenko2017-08-153-0/+33
|
* Unfold several timeframes at the same time in &bmcs.Alan Mishchenko2017-08-151-88/+103
|
* Bug fix in &bmcs.Alan Mishchenko2017-08-151-8/+15
|
* Adding an option to bmc3 to use Satoko intead of the default SAT solver.Alan Mishchenko2017-08-134-47/+124
|
* Renaming several Satoko APIs to avoid collision with MiniSAT.Alan Mishchenko2017-08-134-29/+29
|
* Experiments with BMC.Alan Mishchenko2017-08-131-1/+1
|
* Experiments with BMC.Alan Mishchenko2017-08-131-47/+31
|
* Experiments with BMC.Alan Mishchenko2017-08-131-0/+1
|
* Experiments with BMC.Alan Mishchenko2017-08-132-40/+295
|
* Adding a callback feature to Satoko.Alan Mishchenko2017-08-133-2/+13
|
* add frame done callback support for command &bmcsBaruch Sterin2017-08-092-0/+9
|
* Experiments with BMC.Alan Mishchenko2017-08-091-2/+423
|
* Compiler warnings.Alan Mishchenko2017-07-221-2/+2
|
* Experiments with BMC.Alan Mishchenko2017-07-221-0/+185
|
* Experiments with BMC.Alan Mishchenko2017-07-221-0/+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
|
* Experiments with SAT sweeping.Alan Mishchenko2017-04-121-0/+1
|
* Experiments with SAT sweeping.Alan Mishchenko2017-04-111-1/+1
|
* Experiments with hashing.Alan Mishchenko2017-04-112-0/+6
|
* Experiments with don't-cares.Alan Mishchenko2017-04-042-0/+15
|
* Experiments with don't-cares.Alan Mishchenko2017-04-023-7/+7
|
* Experiments with don't-cares.Alan Mishchenko2017-03-281-1/+1
|
* Experiments with don't-cares.Alan Mishchenko2017-03-262-17/+18
|
* Experiments with don't-cares.Alan Mishchenko2017-03-231-1/+1
|
* added callbacks to bmc3 and sat solverYen-Sheng Ho2017-03-203-0/+8
|
* mergeYen-Sheng Ho2017-03-194-6/+9
|\
| * Several bug fixed / small changes in Satoko.Alan Mishchenko2017-03-184-6/+9
| |
* | %pdra: working on bmc3Yen-Sheng Ho2017-03-192-0/+8
|/
* Synthesis for mesh of LUTs.Alan Mishchenko2017-03-172-9/+9
|
* Synthesis for mesh of LUTs.Alan Mishchenko2017-03-173-8/+474
|
* Synthesis for mesh of LUTs.Alan Mishchenko2017-03-171-1/+1
|
* Synthesis for mesh of LUTs.Alan Mishchenko2017-03-172-0/+419
|
* Merged in msoeken/abc-exact (pull request #66)Alan Mishchenko2017-03-062-2/+2
|\ | | | | | | Fixes in exact synthesis and small fix in xsat and satoko.
| * Fix wrong type cast.Mathias Soeken2017-03-062-2/+2
| |
* | Prevents Satoko from silently becoming inconsistentBruno Schmitt2017-03-062-8/+18
|/
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-031-0/+1
|
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-032-0/+2921
|
* Adding alternative generalization procedure.Alan Mishchenko2017-03-022-3/+92
|
* Adding efficient procedure to minimize the set of assumptions (improved ↵Alan Mishchenko2017-03-021-1/+8
| | | | literal reordering).
* Adding alternative generalization procedure.Alan Mishchenko2017-03-011-1/+1
|
* Adding efficient procedure to minimize the set of assumptions.Alan Mishchenko2017-03-013-0/+79
|
* Adding an procedure to write DIMACS.Bruno Schmitt2017-02-285-3/+74
| | | | Fixing small bugs.
* Small tweak to rollback behavior.Bruno Schmitt2017-02-213-0/+8
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-20 07:06:44 +0000