Alternatives and similar repositories for PIPE

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

• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆175Updated last week
• Gecode / gecode
  Generic Constraint Development Environment
  ☆312Updated 4 months ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆24Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆112Updated last week
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆235Updated 2 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated this week
• rkirsling / modallogic
  Modal Logic Playground
  ☆372Updated last year
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆612Updated last week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆127Updated this week
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆695Updated this week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆203Updated last week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆419Updated this week
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,098Updated last year
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆96Updated last week
• GMUEClab / ecj
  ECJ Evolutionary Computation Toolkit
  ☆125Updated 2 years ago
• jaamsim / jaamsim
  Master repository for Jaamsim source code
  ☆191Updated this week
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated this week
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆50Updated 2 months ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated last year
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated last month
• webgme / webgme
  Web-based Generic Modeling Environment
  ☆165Updated 7 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…
  ☆160Updated last month
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆526Updated 2 months ago