Commit graph

16 commits

Author SHA1 Message Date
d1c56fa6a5
Parsing as regular decimal integers instead of hexadecimal. 2024-06-15 08:46:53 -07:00
43bb036008
Added command in readme 2024-05-29 15:34:39 -04:00
667eea0c70
Remove conjunction and disjunction when not well-defined 2024-05-29 14:08:03 -04:00
df5b0f5161
Pretty printing 2024-05-29 13:50:20 -04:00
6bb863da97
Code cleanup 2024-05-28 16:05:06 -04:00
6b4d5828c8
Code cleanup and documentation 2024-05-28 14:50:31 -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
ff666c326e
Small cleanup 2024-05-04 16:51:49 -04:00
f3c82f090f
Model of R that has VSP 2024-05-03 17:04:03 -04:00
e105c4bf5e
Initial draft of VSP check 2024-05-03 13:06:52 -04:00
39a6bf84fb
Playing around with orderings 2024-04-21 17:37:21 -04:00
ae8658fda2
Introduced ordering at model level... 2024-04-21 12:17:05 -04:00
20ccacc166
Some optimizations 2024-04-15 00:08:00 -04:00
9f985740e0
Initial commit 2024-04-08 23:59:21 -04:00