Last released Jan 22, 2024
A package providing a (c)DMN solver and API
Last released Nov 13, 2023
Linter for FO-dot, used in the IDP-Z3 system
IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
Last released Jan 18, 2023
A package providing a pDMN solver
Supported by