summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckyInt.h
Commit message (Expand)AuthorAgeFilesLines
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-1/+1
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-15/+8
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-2/+32
* Compiler warnings.Alan Mishchenko2012-08-091-16/+4
* Compiler warnings.Alan Mishchenko2012-08-091-4/+1
* Compiler warnings.Alan Mishchenko2012-08-091-2/+2
* New semi-canonical form computation package.Alan Mishchenko2012-08-071-0/+1
* New semi-canonical form computation package.Alan Mishchenko2012-08-061-0/+123