summaryrefslogtreecommitdiffstats
path: root/src/opt/sfm/sfmSat.c
Commit message (Expand)AuthorAgeFilesLines
* Trying to explicitly compute don't-cares during optimization.Alan Mishchenko2020-11-011-9/+95
* Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.Alan Mishchenko2020-01-071-0/+1
* Suggested white-space changes for fewer gcc warnings.Alan Mishchenko2019-03-041-1/+1
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-2/+4
* New MFS package (bug fix).Alan Mishchenko2013-06-071-2/+1
* New MFS package.Alan Mishchenko2013-05-311-2/+4
* New MFS package.Alan Mishchenko2013-05-301-3/+52
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* New MFS package.Alan Mishchenko2013-05-261-1/+1
* New MFS package.Alan Mishchenko2013-05-251-49/+29
* New MFS package.Alan Mishchenko2013-05-251-25/+6
* New MFS package.Alan Mishchenko2013-05-251-2/+8
* New MFS package.Alan Mishchenko2013-05-241-18/+19
* New MFS package.Alan Mishchenko2013-05-241-55/+80
* New MFS package.Alan Mishchenko2013-05-231-5/+124
* New MFS package.Alan Mishchenko2013-05-121-3/+56
* New MFS package.Alan Mishchenko2013-04-021-0/+56