{"package": "idp-engine", "summary": "IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language.", "pypi_url": "https://pypi.org/project/idp-engine", "piwheels_url": "https://www.piwheels.org/project/idp-engine", "releases": {"0.12.1": {"released": "2026-05-27 09:50:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.12.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.12.1-py3-none-any.whl", "filehash": "e46eb0160e08b75784f88975272580f591a1448f007b14fc28d3978ed293645f", "filesize": 126494, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.11,<3.15", "apt_dependencies": [], "pip_dependencies": ["python-dateutil", "restrictedpython", "setuptools", "sli-lib", "textx", "z3-solver"]}}}, "0.12.0": {"released": "2025-04-09 07:37:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.11.2": {"released": "2024-10-18 13:14:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.11.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.11.2-py3-none-any.whl", "filehash": "5c682858bdffa6a10afeda40d2b609f534e18c698fed354594a439bf6f69136b", "filesize": 114859, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": ["python-dateutil", "setuptools", "textx", "z3-solver"]}}}, "0.11.1": {"released": "2024-06-12 05:36:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.11.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.11.1-py3-none-any.whl", "filehash": "439bf35343b9d8fcca346dd8588698dc27c9bed91067f77338e84c31bb2d7691", "filesize": 112562, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": ["python-dateutil", "setuptools", "textx", "z3-solver"]}}}, "0.10.12": {"released": "2023-11-13 09:35:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.12-py3-none-any.whl", "filehash": "df9c53f636e52ae04bcdf18e4c21fb9c9bf06b130a4bfed30becf7205391649c", "filesize": 100707, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "pyyaml", "textx", "z3-solver"]}}}, "0.10.11": {"released": "2023-08-18 12:48:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.11-py3-none-any.whl", "filehash": "54f9220262fd698b944188fc512c7c3877e9635aaa6e06241b6797d77cf2c380", "filesize": 97361, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "pyyaml", "textx", "z3-solver"]}}}, "0.10.9": {"released": "2023-05-31 10:37:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.9-py3-none-any.whl", "filehash": "a2467d1ef775673a472c37abe9adb6c1b13fc959bee4cf4d93cc0bcc431e87f8", "filesize": 92192, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.8": {"released": "2023-05-05 12:48:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.8-py3-none-any.whl", "filehash": "d983477a3961a36585b275808bfb3f68ae22b533d28da0348110874ff9ad8690", "filesize": 92426, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.7": {"released": "2023-05-04 09:49:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.7-py3-none-any.whl", "filehash": "11e85e18f6857d55426eca07fe4a7d210579dfd52fa5859adea6c05a846d4aa5", "filesize": 92413, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.6": {"released": "2023-05-03 10:26:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.6-py3-none-any.whl", "filehash": "eb987f89459b2942cbe0e378d552d2a8d2d5868d124522380b4b3dd7e6d911ab", "filesize": 92411, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.5": {"released": "2023-05-03 10:07:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.5-py3-none-any.whl", "filehash": "d306ed6c5bcd3c4e7ea9e9777d8d8b1e37cb46b54dcaa040b4b6d9b7dd8e5457", "filesize": 92412, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["attrs", "click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.4": {"released": "2023-04-17 14:26:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.4-py3-none-any.whl", "filehash": "2f56db1ab4fb480e61a100267260cb6695dd899f31bf648442bbf42499532590", "filesize": 90189, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.3": {"released": "2023-03-24 17:44:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.3-py3-none-any.whl", "filehash": "4ce0b28a66faf3a0451ae466aeb06a98ff9cf9d5ce706212c7228c53ae4912ee", "filesize": 88613, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.2": {"released": "2022-12-19 12:44:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.2-py3-none-any.whl", "filehash": "0543d5efe8f77b6bb45c76a2df4a888eaf46061e506d977f229ac7fd9b483d16", "filesize": 85913, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.1": {"released": "2022-12-14 16:50:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.1-py3-none-any.whl", "filehash": "3b6f7d9a2d58eedd7bf912b0838aff3ae172ef621c4fab062bd6bc05c9b64cc1", "filesize": 85814, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.10.0": {"released": "2022-10-07 08:59:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.10.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.10.0-py3-none-any.whl", "filehash": "c47535d96de82a34d596bdea171743b3803a7bc6057aeda29252731180c859b6", "filesize": 82478, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "fast-html", "flask", "flask-cors", "flask-restful", "python-dateutil", "textx", "z3-solver"]}}}, "0.9.2": {"released": "2022-02-10 16:37:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.9.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.9.2-py3-none-any.whl", "filehash": "a452ff21e789e5c1f048e2fcfd9f786ccdaa88560b77f23dae142433958cfabd", "filesize": 88650, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "textx", "z3-solver"]}}}, "0.9.1": {"released": "2022-01-25 11:14:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.9.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.9.1-py3-none-any.whl", "filehash": "dd4ad21cb51722692fa8effeb19c8e3d4705a8ff22d528bb71c0482deefa633c", "filesize": 88481, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "textx", "z3-solver"]}}}, "0.9.0": {"released": "2021-12-16 08:35:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.9.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.9.0-py3-none-any.whl", "filehash": "87972a38135e2f443a36afbf8553bb3f5d7518ff3d48157f0be71eb157bffdce", "filesize": 80331, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "textx", "z3-solver"]}}}, "0.8.4": {"released": "2021-09-30 07:10:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.8.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.8.4-py3-none-any.whl", "filehash": "0309332341ecc1e0af642bd02ca5641b4dc54e77c9b342112c1bd1c626279311", "filesize": 77281, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "pretty-errors", "sphinxcontrib-mermaid", "textx", "z3-solver"]}}}, "0.8.4a0": {"released": "2022-05-31 07:32:51", "prerelease": true, "yanked": true, "skip_reason": "", "files": {"idp_engine-0.8.4a0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.8.4a0-py3-none-any.whl", "filehash": "cae5e8eb3f26f8fa8cf02e445d9a12308543f12f0969ada58c098571eba3d4d9", "filesize": 77431, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "pretty-errors", "sphinxcontrib-mermaid", "textx", "z3-solver"]}}}, "0.8.3": {"released": "2021-08-18 12:21:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.8.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.8.3-py3-none-any.whl", "filehash": "05661b4427138a6f9e3e3f2f7bdcfbbcb4eb08ce77f74533b2cdb1bd15d69316", "filesize": 75658, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "pretty-errors", "sphinxcontrib-mermaid", "textx", "z3-solver"]}}}, "0.8.2": {"released": "2021-06-02 10:00:03", "prerelease": false, "yanked": true, "skip_reason": "", "files": {"idp_engine-0.8.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.8.2-py3-none-any.whl", "filehash": "b8b60e98f4c0c3e9e4ba77c9e4698a4638493aceeb8ee8fec3948fb12a42aea4", "filesize": 69493, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "pretty-errors", "sphinxcontrib-mermaid", "textx", "z3-solver"]}}}, "0.8.1": {"released": "2021-05-11 08:20:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.8.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.8.1-py3-none-any.whl", "filehash": "d48b9c84e861db26bc8d3e5c2cd71bde8858657ca1105b616a730f11680ac607", "filesize": 68360, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "pretty-errors", "sphinxcontrib-mermaid", "textx", "z3-solver"]}}}, "0.8.0": {"released": "2021-03-25 17:12:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.8.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.8.0-py3-none-any.whl", "filehash": "30c214a3c95142b790cd12f69de05bea0166b6b58568ec955fe9f9b3164c70df", "filesize": 65420, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "pretty-errors", "sphinxcontrib-mermaid", "textx", "z3-solver"]}}}, "0.7.2": {"released": "2021-03-04 09:48:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"idp_engine-0.7.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/idp-engine/idp_engine-0.7.2-py3-none-any.whl", "filehash": "ca75477dede177b17d2fda9968b7483949e6c11f9aab84dc13fe86254b899e9d", "filesize": 63489, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["click", "pretty-errors", "sphinxcontrib-mermaid", "textx", "z3-solver"]}}}}}