summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckySimple.c
Commit message (Expand)AuthorAgeFilesLines
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-1/+1
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-0/+183