conda-forge / packages / spot

• 1

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-post-staging / spot

• Conda
• Files
• Labels
• Badges

Filters

Type: All

• All
• conda

Version: 2.14

• All
• 2.14.1
• 2.14
• 2.13.2
• 2.13
• 2.12.2
• 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