search

Smattr / rumur

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

'-march=native' #259

Closed Smattr closed 6 months ago