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
Homepage https://spot.lrde.epita.fr/index.html
Platforms darwin
Variants
  • 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)

1

Requested Installations (30 days)

0

Livecheck results

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

livecheck ran: 11 hours ago