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 11 months ago
• 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
• AutomatedProcessImprovement / Simod
  CLI tool for automated discovery of BPS models from event logs
  ☆44Updated 2 months ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆256Updated this week
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• 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
• andremun / InstanceSpace
  Functions that run an automated Instance Space analysis
  ☆38Updated 9 months ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆67Updated last week
• mbafrani / AutomaticProcessSimulation
  Automatic process simulation using Simpy and Pm4py.
  ☆18Updated 3 years ago
• yesanton / Process-Drift-Visualization-With-Declare
  ☆11Updated 4 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆98Updated 2 years ago
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 8 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…
  ☆45Updated last month
• raffaeleconforti / ResearchCode
  This repository contains all research code I wrote in the context of BPM and Process Mining
  ☆17Updated 6 years ago
• ocpm / ocpa
  ☆34Updated last week
• delas / plg
  A Business Processes and Logs Generator
  ☆34Updated last year
• mastqe / tsplib
  Repository of symmetric TSP data
  ☆50Updated 8 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 6 months ago
• 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
• tjouck / PTandLogGenerator
  an artificial data generator for process discovery evaluation
  ☆12Updated 5 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
• StephenMuggleton / DeepLog
  Code and Data for DeepLog system
  ☆19Updated 2 years ago
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated 5 months ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• OCEL-standard / ocel-support
  Support to the OCEL standard
  ☆9Updated 3 years ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆24Updated last month
• airbus / scikit-decide
  AI framework for Reinforcement Learning, Automated Planning and Scheduling
  ☆159Updated 3 weeks ago
• fau-is / grm
  ☆11Updated 3 years ago
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆58Updated this week
• thomasWeise / moptipy
  Implementation of metaheuristic optimization methods in Python for scientific, industrial, and educational scenarios. Experiments can be …
  ☆24Updated this week