spot (science/spot) Updated: 5 days, 2 hours ago Add to my watchlist
Spot is an object-oriented model checking library written in C++.Version: 2.14.5 License: GPL-3
GitHub
| Maintainers | No Maintainer |
| Categories | science math |
| Homepage | https://spot.lrde.epita.fr/index.html |
| Platforms | darwin |
| Variants |
|
"spot" depends on
lib (1)
build (1)
Ports that depend on "spot"
No ports
Port Health:
Loading Port Health