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,
AlainLich/spin-model-checker
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- C 75.3%
- Shell 17.2%
- C++ 5.2%
- Yacc 2.2%
- Makefile 0.1%