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 Mar 4, 2021
IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
Supported by
