6 Commits

Author	SHA1	Message	Date
Tiago Garcia	95e63a3c72	[TOOLS] Fixed README link	2023-06-01 22:27:06 +01:00
TiagoRG	29fbe684ec	Removed unnecessary lines	2023-02-22 12:05:30 +00:00
TiagoRG	a38bb665a3	Fixed a bug that didn't allow you to negate variables used multiple times	2023-02-22 12:01:24 +00:00
Tiago Garcia	d368855bce	Update README.md	2023-02-20 22:28:54 +00:00
TiagoRG	0da1e9b841	Truthtable update: now installed into bin instead of an alias	2023-02-20 22:21:57 +00:00
TiagoRG	753c7f28e6	Nomenclature fix	2022-11-17 12:08:42 +00:00