idp-engine
IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.
Installation
In a virtualenv (see these instructions if you need to create one):
pip3 install idp-engine
Dependencies
Releases
| Version | Released | Bookworm Python 3.11 |
Trixie Python 3.13 |
Files |
|---|---|---|---|---|
| 0.12.1 | 2026-05-27 | |||
|
||||
| 0.12.0 | 2025-04-09 | |||
|
|
||||
| 0.11.2 | 2024-10-18 | |||
|
||||
| 0.11.1 | 2024-06-12 | |||
|
||||
| 0.10.12 | 2023-11-13 | |||
| 0.10.11 | 2023-08-18 | |||
| 0.10.9 | 2023-05-31 | |||
| 0.10.8 | 2023-05-05 | |||
| 0.10.7 | 2023-05-04 | |||
| 0.10.6 | 2023-05-03 | |||
| 0.10.5 | 2023-05-03 | |||
| 0.10.4 | 2023-04-17 | |||
| 0.10.3 | 2023-03-24 | |||
| 0.10.2 | 2022-12-19 | |||
| 0.10.1 | 2022-12-14 | |||
| 0.10.0 | 2022-10-07 | |||
| 0.9.2 | 2022-02-10 | |||
| 0.9.1 | 2022-01-25 | |||
| 0.9.0 | 2021-12-16 | |||
| 0.8.4 | 2021-09-30 | |||
| 0.8.4a0 pre-release yanked | 2022-05-31 | |||
| 0.8.3 | 2021-08-18 | |||
| 0.8.2 yanked | 2021-06-02 | |||
| 0.8.1 | 2021-05-11 | |||
| 0.8.0 | 2021-03-25 | |||
| 0.7.2 | 2021-03-04 | |||
Issues with this package?
- Search issues for this package
- Package or version missing? Open a new issue
- Something else? Open a new issue