search

Brandon-Rozek / vspursuer

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

Discard models with only one designated value #11

Closed Brandon-Rozek closed 2 weeks ago

Brandon-Rozek commented 2 weeks ago

Implements Optimization #7