API for LogicOpt
Truth Table Logic Optimizer
| Global functions | |
|---|---|
| LogicOpt | Man page |
| LogicOpt-package | Man page |
| QCAtt2LOtt | Man page |
| esp_R | Source code |
| l.partybans.0 | Man page |
| l.partybans.1 | Man page |
| l.represent.0 | Man page |
| l.represent.1 | Man page |
| l.robot1 | Man page |
| l.small | Man page |
| logicopt | Man page |
| num_input_values | Man page |
| print_multi_tt | Man page |
| print_primes_tt | Man page |
| tt2eqn | Man page |
