conda-forge / packages / spot

• 1

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot

• Conda
• Files
• Labels
• Badges

Filters

Type: All

• All
• conda

Version: 2.12.1

• All
• 2.12.1
• 2.12
• 2.11.6
• 2.11.5
• 2.11.4
• 2.11.3
• 2.11.2
• 2.11.1
• 2.10.6
• 2.10.5
• 2.10.4
• 2.10.3
• 2.10.2
• 2.10.1
• 2.10
• 2.9.8
• 2.9.7

Label: All

• All
• Files with no label
• main