|
|
30ad57c867
|
Only discard when top is in the right subalgebra or bottom is in the left
|
2024-11-12 15:18:57 -05:00 |
|
|
|
f057ba64fc
|
Updated interface
|
2024-11-05 13:19:44 -05:00 |
|
|
|
8628107704
|
Discard subalgebras with bottom/top
|
2024-11-05 13:01:45 -05:00 |
|
|
|
7b93a9ff35
|
Support Custom Connectives
|
2024-11-05 12:48:02 -05:00 |
|
|
|
76eeee701e
|
Process nullary connectives
|
2024-11-05 12:45:47 -05:00 |
|
|
|
af81342a74
|
Break out of saturation computation early when top/bottom are found
|
2024-10-30 16:11:03 -04:00 |
|
|
|
9744f976dd
|
Fixed numbering scheme
|
2024-10-28 13:48:36 -04:00 |
|
|
|
17fb542bd0
|
Progress on handling custom connectives
TODO: Fix matrix numbering
|
2024-10-28 12:54:13 -04:00 |
|
|
|
e293e5ac3e
|
Finished parse refactor
|
2024-10-28 11:14:33 -04:00 |
|
|
|
4e4e19e117
|
Clarifying the parsing transition system
|
2024-10-25 14:52:12 -04:00 |
|
|
|
bed3d09f4a
|
Check for top and bottom within subalgebra
|
2024-10-24 21:38:36 -04:00 |
|
|
|
312e1aeda5
|
Updated hack to adapt for custom connective behavior
|
2024-10-24 21:21:39 -04:00 |
|
|
|
646202cb50
|
Parse custom connectives from header
|
2024-10-24 21:18:56 -04:00 |
|
|
|
84e4d3d1e1
|
Changed project name
|
2024-10-15 10:37:44 -04:00 |
|
|
|
ff0405d41b
|
Added ability to parse necessitation
|
2024-10-15 10:30:34 -04:00 |
|
|
|
8f83cd6abd
|
Added another example
|
2024-10-15 10:30:14 -04:00 |
|
|
|
a421e24544
|
Reworked hack
|
2024-10-15 10:28:16 -04:00 |
|
|
|
46e570103f
|
Added ability to parse necessitation
|
2024-10-04 15:51:05 -04:00 |
|
|
|
b4b5a7d4e6
|
Refactored
|
2024-10-04 14:09:18 -04:00 |
|
|
|
45ee3d546c
|
Removed extraneous print
|
2024-10-04 13:27:57 -04:00 |
|
|
|
cd3b8f56df
|
Added summary at end
|
2024-10-04 13:22:40 -04:00 |
|
|
|
5f3825cf72
|
Added example fragment without negation
|
2024-10-04 13:22:18 -04:00 |
|
|
|
012323bcbc
|
Description of example files
|
2024-10-04 13:16:09 -04:00 |
|
|
|
c8b3ca5900
|
Fix for Python 3.10
|
2024-10-04 10:57:26 -04:00 |
|
|
|
9d3e4b1fa6
|
Discard models with only one designated value
|
2024-10-04 10:33:44 -04:00 |
|
|
|
c8016ab07f
|
Handle fragments without negation
|
2024-10-04 10:33:15 -04:00 |
|
|
|
d513656422
|
Handle fragments without negation
|
2024-10-03 23:34:59 -04:00 |
|
|
|
2ed471c92c
|
Discard models with only one designated value
|
2024-10-03 22:00:00 -04:00 |
|
|
|
d86601c575
|
Edited example to check models of R up to size 6
|
2024-10-03 21:50:05 -04:00 |
|
|
|
83091c31ab
|
Example Ugly Data Format with models of R up to size 6
|
2024-10-03 21:48:25 -04:00 |
|
|
|
68788ecff6
|
Print model when it shows VSP
|
2024-10-03 21:47:12 -04:00 |
|
|
|
3b535fdfa5
|
Optimization: Discard subalgebras with bottom/top
Currently this doesn't work since it discards the subalgebras {a3} and {a2} which show VSP for R using Model 5.2.1.1.3
|
2024-10-03 21:38:15 -04:00 |
|
|
|
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 |
|
|
|
d14ad52798
|
Updated README
|
2024-06-15 09:02:31 -07:00 |
|
|
|
960fa82237
|
Parsing as regular decimal integers instead of hexadecimal. (PR #6)
|
2024-06-15 08:48:12 -07:00 |
|
|
|
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 |
|
