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.1
Required dependencies:
python-dateutil
|
restrictedpython
|
setuptools
|
sli-lib
|
textx
|
z3-solver
Downloads last day:
6
Downloads last week:
55
Downloads last month:
239