summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/lucky.h
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2013-10-171-1/+1
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-2/+17
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-1/+3
* New semi-canonical form computation package.Alan Mishchenko2012-08-071-1/+1
* New semi-canonical form computation package.Alan Mishchenko2012-08-061-0/+27