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 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