pinocchio - A truth table solver with LaTeX and UTF-8 output

	Commit message (Collapse)	Author	Age	Files	Lines
*	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