Files | Anaconda.org

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot

Type	Size	Name	Uploaded	Downloads	Labels
conda	9.2 MB	\| linux-64/spot-2.10.5-py37hd23a5d3_0.tar.bz2	2 years and 10 months ago	1579	main
conda	9.2 MB	\| linux-64/spot-2.10.5-py310hd8f1fbe_0.tar.bz2	2 years and 10 months ago	1574	main
conda	9.2 MB	\| linux-64/spot-2.10.5-py38hfa26641_0.tar.bz2	2 years and 10 months ago	1569	main
conda	9.2 MB	\| linux-64/spot-2.10.5-py39h5a03fae_0.tar.bz2	2 years and 10 months ago	2127	main
conda	9.2 MB	\| linux-64/spot-2.10.5-py39h0e26352_0.tar.bz2	2 years and 10 months ago	2164	main
conda	9.2 MB	\| linux-64/spot-2.10.5-py38ha8be2cd_0.tar.bz2	2 years and 10 months ago	1578	main

conda-forge / packages / spot

1