Alternatives and similar repositories for snakes:

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

• AlexandreDecan / sismic
  Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
  ☆146Updated last month
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated last month
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 4 months ago
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆158Updated 3 years ago
• hadim / pygraphml
  Parse GraphML file in Python.
  ☆59Updated last year
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆87Updated 7 years ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• lip6 / pnmlframework
  This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…
  ☆12Updated 10 months ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆117Updated 4 months ago
• SanDisk-Open-Source / desmod
  Discrete Event Simulation Modeling framework for SimPy
  ☆67Updated 3 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated this week
• csplib / csplib
  A benchmark library for constraints
  ☆89Updated 5 months ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆171Updated 3 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆43Updated last month
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated this week
• ehebrard / Mistral-2.0
  ☆31Updated last year
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆193Updated this week
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 9 months ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 13 years ago
• alexvoronov / chalmers-thesis
  Thesis template for PhD/Lic thesis at Chalmers
  ☆10Updated 5 years ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆55Updated 8 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆168Updated 11 months ago
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆87Updated 3 months ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆148Updated 3 weeks ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• tpaviot / ProcessScheduler
  A Python package for automatic and optimized resource scheduling
  ☆68Updated last month
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆96Updated last year
• pyecore / pyecoregen
  Python Model to Text framework for PyEcore, including the Ecore to Python generator
  ☆31Updated 3 years ago