summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmc.c
Commit message (Expand)AuthorAgeFilesLines
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+52