summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckyFast6.c
Commit message (Expand)AuthorAgeFilesLines
* C++ portability changes.Alan Mishchenko2012-10-031-3/+3
* C++ portability changes.Alan Mishchenko2012-10-031-3/+3
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-52/+104
* 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-6/+6
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-0/+233