Alternatives and similar repositories for Declare4Py:

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

• francxx96 / declare4py
  A Python package for process-mining with DECLARE models.
  ☆16Updated 9 months ago
• AutomatedProcessImprovement / Simod
  CLI tool for automated discovery of BPS models from event logs
  ☆42Updated last month
• ocpm / ocpa
  ☆31Updated last week
• processquerying / PQL
  Process Query Language (PQL) is a special-purpose programming language for managing process models based on information about process ins…
  ☆17Updated 2 years ago
• cdc08x / MINERful
  A fast, two-step algorithm for the automated discovery of, and reasoning on, declarative rules of process and system behaviour
  ☆33Updated last week
• whitemech / pylogics
  A Python library for logic formalisms representation and manipulation.
  ☆13Updated last year
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆66Updated 2 weeks ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆251Updated last week
• crillab / pyxai
  PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…
  ☆33Updated last month
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• multi-dimensional-process-mining / eventgraph_tutorial
  A collection of tutorials for using Cypher and Neo4j for creating, querying, analyzing, and doing process mining with event knowledge gra…
  ☆42Updated last month
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆23Updated 2 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 7 months ago
• Kurorororo / numeric-fast-downward
  ☆14Updated last year
• delas / plg
  A Business Processes and Logs Generator
  ☆34Updated last year
• yesanton / Process-Drift-Visualization-With-Declare
  ☆11Updated 4 years ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆70Updated last year
• opyenxes / OpyenXes
  A python implementation of the XES standard that is based on the Java implementation OpenXes.
  ☆20Updated 3 months ago
• maxsumrall / xes
  A simple tool for generating XES files for Process Mining
  ☆19Updated 3 years ago
• joschout / tilde
  Top-down induction of first-order logical decision trees: master AI thesis implementation
  ☆23Updated 4 years ago
• mbafrani / AutomaticProcessSimulation
  Automatic process simulation using Simpy and Pm4py.
  ☆18Updated 3 years ago
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆15Updated 4 years ago
• process-intelligence-solutions / pm4py
  Official public repository for PM4Py (Process Mining for Python) — an open-source library for exploring, analyzing, and optimizing busine…
  ☆790Updated last week
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆64Updated last year
• imoscovitz / wittgenstein
  Ruleset covering algorithms for transparent machine learning
  ☆103Updated 2 weeks ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 5 months ago
• irhete / predictive-monitoring-benchmark
  Comparative experimental evaluation of outcome-oriented predictive monitoring techniques on a benchmark consisting of 24 real-world datas…
  ☆32Updated 3 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 4 months ago
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year