summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcExpand.c
Commit message (Collapse)AuthorAgeFilesLines
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ↵Alan Mishchenko2017-02-101-3/+1
| | | | information.
* New command 'expand' to expand SOPs against the offset.Alan Mishchenko2016-05-121-0/+174