uwplse/pumpkin-pi

Weakening and strengthening logical predicates

tlringer opened this issue · 0 comments

Could be interesting examples. Determine whether this fits into this framework and evaluate accordingly.