gentoo.mahdi.cz
dev-python
:idp-engine
IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
https://www.idp-z3.be
idp-engine-0.10.12
GNU LGPL 3
download
~amd64 ~x86
pypi