Commit graph

4 commits

Author SHA1 Message Date
2ed471c92c Discard models with only one designated value 2024-10-03 22:00:00 -04:00
df5b0f5161
Pretty printing 2024-05-29 13:50:20 -04:00
6b4d5828c8
Code cleanup and documentation 2024-05-28 14:50:31 -04:00
2fa8aa9c15
Updates
- Parses multiple implication tables from magic
- Speed improvements to model closure
- Make use of prior model_closure computations
2024-05-12 13:03:28 -04:00