fpom / snakes

Related projects ⓘ

Alternatives and complementary repositories for snakes

• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆164Updated 6 months ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 2 years ago
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆157Updated 3 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆111Updated last month
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆30Updated this week
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆144Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆22Updated 4 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated last week
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆83Updated 7 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆82Updated last month
• AlexandreDecan / sismic
  Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
  ☆144Updated 3 weeks ago
• ehebrard / Mistral-2.0
  ☆31Updated 8 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆93Updated last week
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆150Updated this week
• mrocklin / unification
  ☆72Updated 3 years ago
• maxsumrall / xes
  A simple tool for generating XES files for Process Mining
  ☆18Updated 2 years ago
• inducer / pymbolic
  A simple package to do symbolic math (focus on code gen and DSLs)
  ☆108Updated this week
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• noxdafox / clipspy
  Python CFFI bindings for the 'C' Language Integrated Production System CLIPS
  ☆177Updated 2 weeks ago
• dalzilio / mcc
  High-Level Nets Blaster for the Model-Checking Contest
  ☆10Updated last year
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 11 months ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆93Updated last year
• esa / pagmo
  A C++ / Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island…
  ☆270Updated 4 years ago
• textX / Arpeggio
  Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/
  ☆270Updated 2 weeks ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆231Updated this week
• tpaviot / ProcessScheduler
  A Python package for automatic and optimized resource scheduling
  ☆60Updated last week
• nojhan / paradiseo
  An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers
  ☆97Updated last month
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 6 months ago
• opencobra / optlang
  optlang - sympy based mathematical programming language
  ☆249Updated 2 months ago