spot (science/spot) Updated: 6 months, 1 week ago Add to my watchlist

Spot is an object-oriented model checking library written in C++.
Version: 2.11.6 License: GPL-3 GitHub
Maintainers No Maintainer
Categories science math
Homepage https://spot.lrde.epita.fr/index.html
Platforms darwin
Variants
  • python310 (Use Python 3.10 for python bindings)
  • python311 (Use Python 3.11 for python bindings)
  • python312 (Use Python 3.12 for python bindings)
  • python39 (Use Python 3.9 for python bindings)
  • universal (Build for multiple architectures)

"spot" depends on

lib (1)
build (1)

Ports that depend on "spot"

No ports


Port Health:

Loading Port Health

Installations (30 days)

1

Requested Installations (30 days)

1