summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckyFast6.c
Commit message (Collapse)AuthorAgeFilesLines
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-301-11/+11
| | | | unsigned long long.
* 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