Latest version: v0.11.2
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
No known vulnerabilities found
Has known vulnerabilities