5 Commits

Author	SHA1	Message	Date
TiagoRG	7e6f6606e6	Removed unnecessary lines	2023-02-22 12:05:30 +00:00
TiagoRG	96f27e2b01	Fixed a bug that didn't allow you to negate variables used multiple times	2023-02-22 12:01:24 +00:00
Tiago Garcia	0636429855	Update README.md	2023-02-20 22:28:54 +00:00
TiagoRG	228c1c8222	Truthtable update: now installed into bin instead of an alias	2023-02-20 22:21:57 +00:00
TiagoRG	2747c967e2	Nomenclature fix	2022-11-17 12:08:42 +00:00