Commit graph

8 commits

Author SHA1 Message Date
c0ef204e48 Only print matrices when model shows VSP 2024-10-03 21:06:23 -04:00
c9a4f6ce36
Added line number in error messages 2024-06-23 20:02:53 -07:00
a6ca7ff7a3
Changed model names to match magics naming structure
SIZE.NEGATION.ORDER.DESIGNATED.IMPLICATION
2024-06-23 19:49:14 -07:00
d1c56fa6a5
Parsing as regular decimal integers instead of hexadecimal. 2024-06-15 08:46:53 -07:00
667eea0c70
Remove conjunction and disjunction when not well-defined 2024-05-29 14:08:03 -04:00
81a2d17965 Temporary debugging 2024-05-28 13:51:29 -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
cf636eb7fd
Updates
- Fixed VSP check
- Parse magic output files disregarding header row
- TODO: Fix parsing multiple implication tables in a row
2024-05-09 17:08:15 -04:00