Manage | Anaconda.org

If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

conda-forge / packages / spot

1

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-post-staging / spot

Label	Latest Version
main	2.14.5