Brandon-Rozek / vspursuer

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

Support Custom Connectives #4

Closed Brandon-Rozek closed 3 weeks ago

Brandon-Rozek commented 1 month ago

It looks like we might be able to parse this from the ugly data format header https://github.com/arranstewart/magic/blob/master/src/setup.c#L423