Alternatives and similar repositories for PIPE

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

• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆24Updated 4 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated last week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 2 weeks ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆118Updated last month
• rkirsling / modallogic
  Modal Logic Playground
  ☆374Updated last year
• chocoteam / choco-solver
  An open-source Java library for Constraint Programming
  ☆739Updated this week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆211Updated last month
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆53Updated 4 months ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆313Updated 6 months ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆130Updated this week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 3 months ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆79Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated this week
• eclab / mason
  MASON Multiagent Simulation Toolkit
  ☆179Updated 3 months ago
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆709Updated last week
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,114Updated last year
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆238Updated last month
• webgme / webgme
  Web-based Generic Modeling Environment
  ☆168Updated 9 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 months ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆639Updated last week
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆86Updated 5 years ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆162Updated this week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆442Updated 2 months ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆25Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆227Updated 6 months ago
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆73Updated 5 years ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆182Updated 10 months ago
• fpom / snakes
  SNAKES is the Net Algebra Kit for Editors and Simulators
  ☆96Updated last year
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆311Updated last week