fpom / snakes
SNAKES is the Net Algebra Kit for Editors and Simulators
☆90Updated 9 months ago
Alternatives and similar repositories for snakes:
Users that are interested in snakes are comparing it to the libraries listed below
- Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/☆146Updated last month
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated last month
- Specify and synthesize systems using symbolic algorithms☆45Updated 4 months ago
- Python Combinatorial Optimisation Platform☆158Updated 3 years ago
- Parse GraphML file in Python.☆59Updated last year
- PyInterval — Interval arithmetic in Python☆87Updated 7 years ago
- Python Bindings for the Probabilistic Model Checker Storm