spot (science/spot) Updated: 1 month, 3 weeks ago Add to my watchlist

Spot is an object-oriented model checking library written in C++.
Version: 2.10.1 License: GPL-3 GitHub
Maintainers No Maintainer
Categories science math
Platforms darwin
  • python310 (Use Python 3.10 for python bindings)
  • python35 (Use Python 3.5 for python bindings)
  • python36 (Use Python 3.6 for python bindings)
  • python37 (Use Python 3.7 for python bindings)
  • python38 (Use Python 3.8 for python bindings)
  • python39 (Use Python 3.9 for python bindings)
  • universal (Build for multiple architectures)

"spot" depends on

lib (2)
build (1)

Ports that depend on "spot"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck results

spot seems to have been updated (port version: 2.10.1, new version: 2.10.3)

livecheck ran: 11 hours ago