Alternatives and similar repositories for PIPE

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

• Gecode / gecode
  Generic Constraint Development Environment
  ☆315Updated last month
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆647Updated last month
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 2 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated last month
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆123Updated last month
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆179Updated last week
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆727Updated last week
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,126Updated last year
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆215Updated 3 weeks ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆118Updated this week
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆25Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated last week
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆86Updated 3 weeks ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆133Updated 3 weeks ago
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆360Updated 4 years ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆165Updated last month
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆83Updated 4 months ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆63Updated 3 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆106Updated last year
• johnyf / tool_lists
  Links to tools by subject
  ☆387Updated last year
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆54Updated 6 months ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆168Updated 2 weeks ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆25Updated last year
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆150Updated 3 weeks ago
• jaamsim / jaamsim
  Master repository for Jaamsim source code
  ☆197Updated this week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 3 months ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆450Updated 3 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated last week