| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Support multiple eqns per table | Thomas Voss | 2024-09-04 | 1 | -0/+1 |
| * | Change XOR from βXORβ to β~β | Thomas Voss | 2024-09-04 | 1 | -9/+10 |
| * | Improve interactive usage | Thomas Voss | 2024-09-04 | 1 | -3/+10 |
| * | Genesis commit | Thomas Voss | 2024-09-04 | 1 | -0/+34 |
 |
index : pinocchio | |
| A truth table solver with LaTeX and UTF-8 output | Thomas Voss |
| aboutsummaryrefslogtreecommitdiff |