Commit Graph

6 Commits

Author SHA1 Message Date
Tiago Garcia 3818857285
[TOOLS] Fixed README link 2023-06-01 22:27:06 +01:00
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