search

Brandon-Rozek / vspursuer

Verify Relevance Properties for Matrix Models with Implicative Connectives
2 stars 0 forks source link

Added ability to parse necessitation #15

Closed Brandon-Rozek closed 6 days ago

Brandon-Rozek commented 2 weeks ago

Implements #3

Brandon-Rozek commented 2 weeks ago

This is a little wonky where a "-1" appears on the line right after the header in the files I tested with. There also seems to be missing a "-1" at the end of the file.