API for mcbiopi
Matrix Computation Based Identification of Prime Implicants
| Global functions | |
|---|---|
| cyclic.covering | Source code |
| evalTree | Man page Source code |
| generateTruthTab | Man page Source code |
| getPImps | Man page Source code |
| getPerms | Source code |
| ia.samp | Source code |
| minDNF | Man page Source code |
| minimizePI | Source code |
| prime.implicants | Man page Source code |
| print.minDNF | Man page Source code |
| print.primeImp | Man page Source code |
| rm.dom | Source code |
