sarahtattersall / PIPE

Related projects: ⓘ

• iig-uni-freiburg / WOLFGANG
  Petri Net Editor
  ☆25Updated 6 years ago
• fpom / snakes
  SNAKES is the Net Algebra Kit for Editors and Simulators
  ☆88Updated 3 months ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆498Updated this week
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆141Updated this week
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆119Updated 7 years ago
• chocoteam / choco-solver
  An open-source Java library for Constraint Programming
  ☆684Updated last week
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆82Updated 3 years ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆274Updated 2 months ago
• rkirsling / modallogic
  Modal Logic Playground
  ☆363Updated 7 months ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆491Updated last month
• 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 4 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆154Updated this week
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆145Updated last month
• rorchard / FuzzyCLIPS
  A fuzzy logic extension of the CLIPS
  ☆68Updated 9 years ago
• MiniZinc / minizinc.github.io
  The website for the MiniZinc constraint modelling system
  ☆15Updated last week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• UniTime / cpsolver
  Local-search based solver of Constraint Satisfaction and Optimization Problems
  ☆60Updated this week
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆168Updated 4 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆58Updated 6 years ago
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆215Updated this week
• chuffed / chuffed
  The Chuffed CP solver
  ☆89Updated 3 weeks ago
• csplib / csplib
  A benchmark library for constraints
  ☆81Updated last month
• hakank / hakank
  My public programs and models - mostly combinatorial problems and puzzles
  ☆364Updated last month
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆21Updated 2 months ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆215Updated this week
• rostam / GraphTea
  The Graph Theory Software
  ☆84Updated 6 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆279Updated this week
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• eclab / mason
  MASON Multiagent Simulation Toolkit
  ☆162Updated 6 months ago
• guillem-catala / PetriNetSim
  Java colored/timed petrinet simulator
  ☆14Updated 13 years ago