summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcCexDepth.c
Commit message (Expand)AuthorAgeFilesLines
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-4/+4
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-6/+6
* Counter-example depth minimization.Alan Mishchenko2013-05-221-0/+421