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 10 months ago
• AutomatedProcessImprovement / Simod
  CLI tool for automated discovery of BPS models from event logs
  ☆43Updated last month
• cdc08x / MINERful
  A fast, two-step algorithm for the automated discovery of, and reasoning on, declarative rules of process and system behaviour
  ☆34Updated last month
• OCEL-standard / ocel-support
  Support to the OCEL standard
  ☆9Updated 3 years ago
• delas / plg
  A Business Processes and Logs Generator
  ☆34Updated last year
• raffaeleconforti / ResearchCode
  This repository contains all research code I wrote in the context of BPM and Process Mining
  ☆17Updated 6 years ago
• irhete / predictive-monitoring-benchmark
  Comparative experimental evaluation of outcome-oriented predictive monitoring techniques on a benchmark consisting of 24 real-world datas…
  ☆32Updated 4 years ago
• proved-py / proved-core
  PROVED (PRocess mining OVer uncErtain Data) is a library of functionalities to perform process mining on uncertain event data.
  ☆12Updated 2 years ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆253Updated this week
• ocpm / ocpa
  ☆32Updated 3 weeks ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆67Updated 2 weeks ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆73Updated 7 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆91Updated 6 months ago
• 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…
  ☆44Updated 3 weeks ago
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆15Updated 4 years ago
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago
• whitemech / pylogics
  A Python library for logic formalisms representation and manipulation.
  ☆15Updated last year
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆88Updated 3 weeks ago
• mbafrani / AutomaticProcessSimulation
  Automatic process simulation using Simpy and Pm4py.
  ☆18Updated 3 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 5 months ago
• opyenxes / OpyenXes
  A python implementation of the XES standard that is based on the Java implementation OpenXes.
  ☆20Updated 4 months ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆97Updated 2 years ago
• DeMaCS-UNICAL / EmbASP
  A general framework for embedding Logic Programming in complex systems
  ☆31Updated last year
• 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 week
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated 2 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated 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