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