conda-forge / packages / spot

• 1

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot

• Conda
• Files
• Labels
• Badges

Label	Latest Version
main	2.12.1