summaryrefslogtreecommitdiffstats
path: root/src/bool/kit/kitTruth.c
Commit message (Expand)AuthorAgeFilesLines
* Improvements to LMS code.Alan Mishchenko2012-10-281-0/+2
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-9/+9
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-231-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+2222