| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use the correct symbol for XOR | Thomas Voss | 2024-09-05 | 1 | -1/+1 |
| | | |||||
| * | Fix some integer-type bugs | Thomas Voss | 2024-09-05 | 1 | -3/+3 |
| | | |||||
| * | Add -s | Thomas Voss | 2024-09-04 | 1 | -3/+20 |
| | | |||||
| * | Support multiple eqns per table | Thomas Voss | 2024-09-04 | 1 | -41/+104 |
| | | |||||
| * | Use ⊕ as the XOR symbol | Thomas Voss | 2024-09-04 | 1 | -1/+1 |
| | | |||||
| * | Replace digits with binary | Thomas Voss | 2024-09-04 | 1 | -7/+7 |
| | | |||||
| * | Remove --latex in favour of --table-style | Thomas Voss | 2024-09-04 | 1 | -13/+42 |
| | | |||||
| * | Support T/F, 0/1, and ⊤/⊥ in output | Thomas Voss | 2024-09-04 | 1 | -17/+53 |
| | | |||||
| * | Support LaTeX output | Thomas Voss | 2024-09-04 | 1 | -11/+74 |
| | | |||||
| * | Formatting | Thomas Voss | 2024-09-04 | 1 | -9/+7 |
| | | |||||
| * | Improve interactive usage | Thomas Voss | 2024-09-04 | 1 | -5/+43 |
| | | |||||
| * | Genesis commit | Thomas Voss | 2024-09-04 | 1 | -0/+206 |
 |
index : pinocchio | |
| A truth table solver with LaTeX and UTF-8 output | Thomas Voss |
| aboutsummaryrefslogtreecommitdiff |