PyPI page
Home page
Author:
pierre.carbonnelle
License:
GNU LGPL 3
Summary:
IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
Latest version:
0.12.0
Required dependencies:
python-dateutil
|
restrictedpython
|
setuptools
|
textx
|
z3-solver
Downloads last day:
10
Downloads last week:
24
Downloads last month:
133