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	-0/+27