summaryrefslogtreecommitdiffstats
path: root/src/opt/sbd/sbdCnf.c
Commit message (Expand)AuthorAgeFilesLines
* Bug fixes by Clifford Wolf.Alan Mishchenko2017-01-081-2/+2
* New SAT-based optimization package.Alan Mishchenko2016-11-171-0/+147