Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bug fix in truth table reading for funcs with less than 6 vars. | Alan Mishchenko | 2016-03-28 | 1 | -1/+1 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -1/+2 |
| | |||||
* | New semi-canonical form computation package. | Alan Mishchenko | 2012-08-06 | 1 | -0/+332 |