sarahtattersall / PIPELinks
PIPE - Platform Independent Petri Net Editor
☆239Updated 3 years ago
Alternatives and similar repositories for PIPE
Users that are interested in PIPE are comparing it to the libraries listed below
Sorting:
- The MiniZinc compiler☆555Updated last month
- A benchmark library for constraints☆94Updated last week
- The Git repository for the mCRL2 toolset.☆99Updated last week
- JavaScript library for working with automata and grammars for regular and context-free languages☆219Updated 11 months ago
- The MiniZinc IDE☆151Updated last month
- Generic Constraint Development Environment☆309Updated 2 months ago
- LightJason - AgentSpeak(L++) for Java☆24Updated 3 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆109Updated last year
- Modal Logic Playground☆371Updated last year
- SWI-Prolog stable releases☆225Updated 7 months ago
- 🦉 A grounder and solver for logic programs.☆680Updated this week
- The Sirio library for the analysis of stochastic time Petri nets☆14Updated 2 weeks ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- 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 4 years ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆93Updated last year
- Main repository of the GreatSPN framework☆47Updated 3 weeks ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 3 weeks ago
- The mbeddr core. An extensible C☆228Updated this week
- Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.☆235Updated last month
- ☆69Updated last year
- RelaX - a relational algebra calculator☆305Updated last month
- A minimalistic and high-performance SAT solver☆1,085Updated last year
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Petri Net Editor☆26Updated 7 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆381Updated 3 weeks ago
- An extensible framework for feature-oriented software development☆133Updated 2 months ago
- MASON Multiagent Simulation Toolkit☆175Updated 6 months ago
- SARL Agent-Oriented Programming Language http://www.sarl.io☆146Updated last week
- A Modern Probabilistic Model Checker☆149Updated 3 weeks ago