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