4 Commits (3a5a3c128b3339cbadc537c1db59fbcfb4d43797)

Author SHA1 Message Date
Stefan Holst ff4de6d782 de-lint and repr improvements 4 years ago
Stefan Holst 7f035c1ac5 Migration to new logic value representation 4 years ago
Stefan Holst 7bcfbf502b Documentation, cleanup, multi-valued logic 4 years ago
Stefan Holst 0c5a7f56e1 Project Import 4 years ago