Alternatives and similar repositories for PIPE:

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

• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆84Updated 4 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 7 years ago
• fpom / snakes
  SNAKES is the Net Algebra Kit for Editors and Simulators
  ☆90Updated 9 months ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆192Updated this week
• MiniZinc / minizinc.github.io
  The website for the MiniZinc constraint modelling system
  ☆15Updated this week
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆535Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆167Updated this week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 6 months ago
• ivanDonadello / Declare4Py
  A Python package for declarative Process Mining with Machine Learning applications
  ☆21Updated 2 weeks ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆391Updated last month
• Gecode / gecode
  Generic Constraint Development Environment
  ☆286Updated 8 months ago
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆23Updated 3 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆96Updated this week
• MiniZinc / specialization-examples
  ☆65Updated last year
• 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 9 months ago
• wo / tpg
  Tree Proof Generator
  ☆162Updated last week
• 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
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆148Updated this week
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆417Updated this week
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆160Updated 9 months ago
• chocoteam / choco-solver
  An open-source Java library for Constraint Programming
  ☆709Updated this week
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆145Updated 2 months ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆87Updated 5 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆43Updated last week
• MOEAFramework / MOEAFramework
  A Free and Open Source Java Framework for Multiobjective Optimization
  ☆333Updated this week
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• ths-rwth / carl
  ☆29Updated 2 weeks ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 2 weeks ago