Alternatives and similar repositories for snakes:

Users that are interested in snakes are comparing it to the libraries listed below

• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆45Updated last month
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated this week
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 9 months ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆168Updated last year
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆117Updated 4 months ago
• AlexandreDecan / sismic
  Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
  ☆148Updated last week
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆87Updated 7 years ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 7 months ago
• mrocklin / unification
  ☆71Updated 4 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated 5 months ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated last week
• noxdafox / clipspy
  Python CFFI bindings for the 'C' Language Integrated Production System CLIPS
  ☆185Updated last month
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆56Updated 8 years ago
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆159Updated 4 years ago
• e-loue / pyke
  Python Knowledge Engine
  ☆120Updated 7 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆66Updated last week
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆34Updated last year
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆12Updated 2 years ago
• coin-or / GiMPy
  A graph library containing pure Python implementations of a variety of graph algorithms
  ☆33Updated 4 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆90Updated 6 months ago
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆290Updated 7 months ago
• gorenje / sysmlv2-jupyter-docker
  Create docker image for running SysMLv2 with Jupyter
  ☆30Updated 5 months ago
• maxsumrall / xes
  A simple tool for generating XES files for Process Mining
  ☆19Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated 10 months ago
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆23Updated 3 years ago