issues
search
Brandon-Rozek
/
vspursuer
Verify Relevance Properties for Matrix Models with Implicative Connectives
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Check models in parallel
#25
Brandon-Rozek
closed
6 days ago
0
Removed 'a' from model value names
#24
Brandon-Rozek
closed
6 days ago
0
Parallelization?
#23
Brandon-Rozek
closed
6 days ago
0
Match model value names to magic
#22
Brandon-Rozek
closed
6 days ago
0
Correctly find the top and bottom of the order lattice
#21
Brandon-Rozek
closed
2 weeks ago
0
Non-deterministic Completeness Bug
#20
Brandon-Rozek
closed
2 weeks ago
1
Fix Optimization #9
#19
Brandon-Rozek
closed
2 weeks ago
0
Fix Optimization #9
#18
Brandon-Rozek
closed
2 weeks ago
0
Support Custom Connectives
#17
Brandon-Rozek
closed
3 weeks ago
1
Print Possibility Table with Necessitation Table
#16
Brandon-Rozek
opened
1 month ago
0
Added ability to parse necessitation
#15
Brandon-Rozek
closed
1 month ago
1
Discard Order-Dependent Subalgebras
#14
Brandon-Rozek
opened
1 month ago
1
Handle fragments without negation
#13
Brandon-Rozek
closed
1 month ago
0
Handle Fragments without Negation
#12
Brandon-Rozek
closed
1 month ago
0
Discard models with only one designated value
#11
Brandon-Rozek
closed
1 month ago
0
Discard subalgebras with bottom/top
#10
Brandon-Rozek
closed
3 weeks ago
0
Discard Subalgebras with top/bottom elements
#9
Brandon-Rozek
closed
3 weeks ago
3
Match Numbering Scheme to Magics
#8
Brandon-Rozek
closed
5 months ago
1
Discard models with a single designated value
#7
Brandon-Rozek
closed
1 month ago
1
Parsing as regular decimal integers instead of hexadecimal.
#6
Brandon-Rozek
closed
5 months ago
0
Parse Error on Larger Matrices
#5
Brandon-Rozek
closed
5 months ago
0
Support Custom Connectives
#4
Brandon-Rozek
closed
3 weeks ago
1
Handle necessitation and possibility
#3
Brandon-Rozek
closed
1 month ago
1
Consider other Variable Sharing Properties
#2
Brandon-Rozek
opened
5 months ago
0