Alternatives and similar repositories for snakes

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

• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆159Updated 4 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆105Updated last month
• csplib / csplib
  A benchmark library for constraints
  ☆94Updated 8 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆49Updated 7 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆168Updated last year
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆118Updated 3 weeks ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆262Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated last year
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆46Updated 3 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated this week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆199Updated this week
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆476Updated last week
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆149Updated last week
• doganulus / montre
  The original timed regular expression matcher over temporal behaviors
  ☆15Updated last year
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 2 months ago
• ivanDonadello / Declare4Py
  A Python package for declarative Process Mining with Machine Learning applications
  ☆25Updated 2 weeks ago
• ycollet / coinor-cmake
  CMake files for compiling CoinOr projects
  ☆31Updated 4 years ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 8 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆160Updated last month
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 11 months ago
• maxsumrall / xes
  A simple tool for generating XES files for Process Mining
  ☆19Updated 3 years ago
• CiwPython / Ciw
  Ciw is a simulation library for open queueing networks.
  ☆157Updated 2 months ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆55Updated 8 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆124Updated this week