search

Smattr / rumur

yet another model checker
The Unlicense
16 stars 5 forks source link

fix a couple of 'murphi2uclid' bugs #264

Closed Smattr closed 3 months ago