idp-engine is a reasoning engine for knowledge represented using the FO(·) language. FO(·) (aka FO-dot) is First Order logic, with various extensions to make it more expressive: types, equality, arithmetic, inductive definitions, 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 a knowledge base.
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.
Release files for idp-engine 0.12.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| idp_engine-0.12.1.tar.gz | 110.4 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| idp_engine-0.12.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 236.9 kB
Release files / idp_engine-0.12.1.tar.gz
| Download URL | idp_engine-0.12.1.tar.gz |
|---|---|
| Size | 110.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
fc3380cd4eaf179fcf9494399062da66da3f05e1d3381be7fad1ec81a8809f1f
|
|
BLAKE2b-256 checksum How to use checksums |
58f3b1856c9a2a689352367fcaecb96f1f3fb10e5689e42f95ba3d35134dbc8c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/2.4.1 CPython/3.14.5 Linux/7.0.10-arch1-1
|
Release files / idp_engine-0.12.1-py3-none-any.whl
| Download URL | idp_engine-0.12.1-py3-none-any.whl |
|---|---|
| Size | 126.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
2ff7e87f6bec8745e920776e19cc32cd1dfed72cbe131931290f7f5497095899
|
|
BLAKE2b-256 checksum How to use checksums |
2dacf4dd47d2cd75b999e29f57fb06b4ef50e0de58c095722699729106397676
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/2.4.1 CPython/3.14.5 Linux/7.0.10-arch1-1
|
