Alternatives and similar repositories for snakes:

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

• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• opencobra / optlang
  optlang - sympy based mathematical programming language
  ☆256Updated last month
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆191Updated 2 months ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆531Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 7 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆32Updated this week
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆158Updated 3 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆100Updated 2 months ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆248Updated this week
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated 3 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆184Updated 2 weeks ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆146Updated this week
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆170Updated last month
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 7 months ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• SanDisk-Open-Source / desmod
  Discrete Event Simulation Modeling framework for SimPy
  ☆67Updated 3 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆154Updated 3 weeks ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆240Updated this week
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆166Updated 10 months ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆285Updated 7 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆87Updated 4 months ago
• Tony-sama / pylfit
  Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework
  ☆13Updated 7 months ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆71Updated 8 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆42Updated last year
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆87Updated 7 years ago
• hadim / pygraphml
  Parse GraphML file in Python.
  ☆59Updated last year
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years 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
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last week