summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky/luckySimple.c
Commit message (Expand)AuthorAgeFilesLines
* Making public some APIs.Alan Mishchenko2014-11-031-3/+3
* 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