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 7 months ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆63Updated this 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…
  ☆29Updated 2 months ago
• OCEL-standard / ocel-support
  Support to the OCEL standard
  ☆9Updated 3 years ago
• 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
• AutomatedProcessImprovement / Simod
  CLI tool for automated discovery of BPS models from event logs
  ☆42Updated 3 months ago
• cdc08x / MINERful
  A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints
  ☆32Updated this week
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆86Updated last month
• signavio / bpmn2constraints
  Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
  ☆11Updated 2 months ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆243Updated this week
• opyenxes / OpyenXes
  A python implementation of the XES standard that is based on the Java implementation OpenXes.
  ☆20Updated last month
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆94Updated last year
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆67Updated 4 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated last month
• delas / plg
  A Business Processes and Logs Generator
  ☆32Updated 11 months ago
• AutomatedProcessImprovement / Prosimos
  Prosimos Simulation Engine (CLI)
  ☆9Updated 3 weeks ago
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆15Updated 6 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆32Updated 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 5 months ago
• ocpm / ocpa
  ☆30Updated 8 months ago
• Kurorororo / numeric-fast-downward
  ☆12Updated 10 months ago
• maxsumrall / xes
  A simple tool for generating XES files for Process Mining
  ☆19Updated 2 years ago
• raffaeleconforti / ResearchCode
  This repository contains all research code I wrote in the context of BPM and Process Mining
  ☆16Updated 6 years ago
• mbafrani / AutomaticProcessSimulation
  Automatic process simulation using Simpy and Pm4py.
  ☆17Updated 3 years 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…
  ☆41Updated last year
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆64Updated 10 months ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆53Updated 6 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆44Updated last week
• fau-is / grm
  ☆11Updated 3 years ago