Alternatives and similar repositories for snakes:

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

• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆32Updated this week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆185Updated last month
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆157Updated 3 years ago
• mrocklin / unification
  ☆71Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 2 months ago
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆86Updated 7 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 6 months ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆168Updated 3 weeks ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆145Updated this week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆142Updated this week
• johnyf / tool_lists
  Links to tools by subject
  ☆374Updated 10 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆152Updated this week
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 2 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 3 months ago
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated last month
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆59Updated 7 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆86Updated 3 months ago
• AlexandreDecan / sismic
  Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
  ☆145Updated 2 months ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆116Updated last month
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 6 months ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆167Updated 9 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆184Updated last week
• rkirsling / modallogic
  Modal Logic Playground
  ☆368Updated 11 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 8 months ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆56Updated 8 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆162Updated this week
• 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
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆283Updated 4 months ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆96Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆118Updated this week