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
  • python310 (Use Python 3.10 for python bindings)
  • python311 (Use Python 3.11 for python bindings)
  • python312 (Use Python 3.12 for python bindings)
  • python313 (Use Python 3.13 for python bindings)
  • python314 (Use Python 3.14 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)

0

Requested Installations (30 days)

0