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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix some integer-type bugs	Thomas Voss	2024-09-05	2	-4/+5
\|
*	Add -s	Thomas Voss	2024-09-04	1	-3/+20
\|
*	Support multiple eqns per table	Thomas Voss	2024-09-04	6	-67/+184
\|
*	Simplify	Thomas Voss	2024-09-04	1	-4/+4
\|
*	Use ⊕ as the XOR symbol	Thomas Voss	2024-09-04	1	-1/+1
\|
*	Change XOR from ‘XOR’ to ‘~’	Thomas Voss	2024-09-04	1	-9/+10
\|
*	Simplify code	Thomas Voss	2024-09-04	1	-21/+22
\|
*	Formatting	Thomas Voss	2024-09-04	1	-6/+6
\|
*	Replace digits with binary	Thomas Voss	2024-09-04	1	-7/+7
\|
*	Remove --latex in favour of --table-style	Thomas Voss	2024-09-04	3	-17/+44
\|
*	Support T/F, 0/1, and ⊤/⊥ in output	Thomas Voss	2024-09-04	1	-17/+53
\|
*	Support LaTeX output	Thomas Voss	2024-09-04	3	-13/+81
\|
*	Formatting	Thomas Voss	2024-09-04	1	-9/+7
\|
*	Allow an EOF-terminated line	Thomas Voss	2024-09-04	1	-1/+3
\|
*	Formatting fix	Thomas Voss	2024-09-04	1	-1/+1
\|
*	Improve interactive usage	Thomas Voss	2024-09-04	4	-10/+61
\|
*	Use errx()	Thomas Voss	2024-09-04	1	-2/+1
\|
*	Genesis commit	Thomas Voss	2024-09-04	4	-0/+375