spot (science/spot) Updated: 1 year, 5 months 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)

python311

clang-16

No ports

Loading Port Health

1

spot seems to have been updated (port version: 2.11.6, new version: 2.12.2)

livecheck ran: 16 hours ago