fpom / snakesLinks
SNAKES is the Net Algebra Kit for Editors and Simulators
☆93Updated last year
Alternatives and similar repositories for snakes
Users that are interested in snakes are comparing it to the libraries listed below
Sorting:
- Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/☆148Updated 2 months ago
- A Tool for Multi-Paradigm Modeling☆24Updated 9 months ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 7 months ago
- PyInterval — Interval arithmetic in Python☆88Updated 8 years ago
- A library for pattern matching on symbolic expressions in Python.☆169Updated last year
- Main repository of the GreatSPN framework☆47Updated 4 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆35Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆156Updated last week
- A python implementation of the XES standard that is based on the Java implementation OpenXes.☆20Updated 6 months ago
- Petri Net Editor☆26Updated 7 years ago
- Constraint Solving Problem resolver for Python☆478Updated last week
- 🕰️ A solver for temporal programs.☆22Updated last year
- The Sphinx Thesis Resource☆154Updated 4 years ago
- The Chuffed CP solver☆105Updated 2 months ago
- Synthesis Format Conversion Tool☆24Updated last month
- A Modern Probabilistic Model Checker☆148Updated this week
- A benchmark library for constraints☆94Updated 8 months ago
- A graph library containing pure Python implementations of a variety of graph algorithms☆33Updated 2 months ago
- Haskell bindings for Python☆102Updated 4 years ago
- ☆71Updated 4 years ago
- A Python Implementation of the UML2 Metamodel based on PyEcore☆22Updated 4 years ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated 7 months ago
- osBrain - A general-purpose multi-agent system module written in Python☆178Updated 5 years ago
- Parse GraphML file in Python.☆60Updated last year
- Modal Logic Playground☆370Updated last year
- Python CFFI bindings for the 'C' Language Integrated Production System CLIPS☆189Updated 3 months ago
- PIPE - Platform Independent Petri Net Editor☆240Updated 3 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆248Updated last month