dev-python/idp-engine
IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.


View
Download
Browse