summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcRec2.c
Commit message (Expand)AuthorAgeFilesLines
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-2/+2
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-3/+8
* Fixing interpolation to run without resource limits by default.Alan Mishchenko2012-07-251-2/+2
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-251-34/+46
* Updated code for lazy man's synthesis (memory optimization).Alan Mishchenko2012-07-201-53/+72
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-3/+51
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-302/+65
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-0/+1
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-0/+2491