mirror of spin model checker forked from https://github.com/cartazio/spin-model-checker
- cosmetic changes to improve ease of use -- change font size in button widgets: makes things readable even on higher definition screens,
| Name | Name | Last commit date | ||
|---|---|---|---|---|
mirror of spin model checker forked from https://github.com/cartazio/spin-model-checker