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.
  ☆15Updated 8 months ago
• AutomatedProcessImprovement / Simod
  CLI tool for automated discovery of BPS models from event logs
  ☆42Updated 2 weeks ago
• delas / plg
  A Business Processes and Logs Generator
  ☆33Updated last year
• OCEL-standard / ocel-support
  Support to the OCEL standard
  ☆9Updated 3 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 this week
• 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
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆63Updated 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
• 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
• ocpm / ocpa
  ☆29Updated this week
• AutomatedProcessImprovement / Prosimos
  Prosimos Simulation Engine (CLI)
  ☆9Updated this week
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆16Updated 7 months ago
• maxsumrall / xes
  A simple tool for generating XES files for Process Mining
  ☆19Updated 2 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 2 weeks ago
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆86Updated 2 months ago
• opyenxes / OpyenXes
  A python implementation of the XES standard that is based on the Java implementation OpenXes.
  ☆20Updated 2 months ago
• zahradbozorgi / prescriptiveMonitoringORF
  ☆11Updated 3 years ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆23Updated last month
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆248Updated this week
• or-tools / awesome_or-tools
  A curated list of awesome OR-Tools community resources.
  ☆163Updated 3 months ago
• IOHprofiler / IOHanalyzer
  Performance analyzer for Iterative Optimization Heuristics.
  ☆24Updated 8 months ago
• xcsp3team / ACE
  Constraint Solver ACE
  ☆29Updated this week
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆60Updated 7 years ago
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago
• ML-KULeuven / deepstochlog
  ☆27Updated 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…
  ☆31Updated last week
• yesanton / Process-Drift-Visualization-With-Declare
  ☆11Updated 4 years ago
• StephenMuggleton / DeepLog
  Code and Data for DeepLog system
  ☆18Updated 2 years ago
• nirdizati-research / predict-python
  A Web Application to Support Research in Predictive Monitoring Tasks (docs: https://bit.ly/2XdXmth)
  ☆24Updated 3 years ago