search

bmoth-mc / bmoth

Model Checker for (a subset of) classical B based on Z3
MIT License
9 stars 1 forks source link

Add preference to set Z3 timeout #64

Closed wysiib closed 7 years ago

Lunnaris01 commented 7 years ago

Created