search

Smattr / rumur

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

shared libs tweak #268

Closed Smattr closed 3 months ago