IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the FO(.) language and a Z3 SMT solver.
Reason this release was yanked:
Beta
Project description
idp-engine is the core component of IDP-Z3, a software collection implementing the Knowledge Base paradigm using the FO(.) language. FO(.) is First Order logic, extended with definitions, types, arithmetic, aggregates and intensional objects. The idp-engine uses the Z3 SMT solver as a back-end.
It is developed by the Knowledge Representation group at KU Leuven in Leuven, Belgium, and made available under the GNU LGPL v3 License.
See more information at www.IDP-Z3.be.
Installation
idp_engine
can be installed from pypi.org, e.g. using pip:
pip install idp_engine
Get started
The following code illustrates how to run inferences on the IDP knowledge.
from idp_engine import IDP, model_expand
kb = IDP.parse("path/to/file.idp")
T, S = kb.get_blocks("T, S")
for model in model_expand(T,S):
print(model)
For more information, please read the documentation.
Contribute
Contributions are welcome! The repository is on GitLab.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for idp_engine-0.8.2-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b8b60e98f4c0c3e9e4ba77c9e4698a4638493aceeb8ee8fec3948fb12a42aea4 |
|
MD5 | 9d99f417a5ed084ce60a6c283c467bf3 |
|
BLAKE2b-256 | 53c1e8f2c33786b53300d2708fe37eaa9f4146e01bc55251be4184cb29a15139 |