issues
search
Smattr
/
rumur
yet another model checker
The Unlicense
16
stars
5
forks
source link
simplify 'VALUE_MIN' checking logic
#271
Closed
Smattr
closed
2 months ago