idp-solver

IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Project description

This package is deprecated.

Please use idp-engine instead.

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

This version

0.7.3

Mar 4, 2021

0.7.2

Feb 16, 2021

0.7.1

Feb 16, 2021

0.7.0

Feb 16, 2021

0.6.1

Jan 4, 2021

0.5.6

Dec 22, 2020

0.5.5

Dec 21, 2020

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Mar 4, 2021 Source

Uploaded Mar 4, 2021 Python 3

Hashes for idp-solver-0.7.3.tar.gz
Algorithm	Hash digest
SHA256	`ea0366d141d3cbdb25225c62522555ff655254b9cd56eaabad0d6c4e521d1a6e`
MD5	`535cd8bc55304fa7c5aa23516e04593e`
BLAKE2b-256	`f4bf567616d6041c225546966af161ceb71c08be8915091bcc92dc229a4205e1`

Hashes for idp_solver-0.7.3-py3-none-any.whl
Algorithm	Hash digest
SHA256	`616535c44cd6f940a617fcbeb8a86337d315d479dbdef82c961b4a0dcb92ae30`
MD5	`e940d8a624293c8dcbb9fcf7966fe7fd`
BLAKE2b-256	`e3e7ca03589421c551410d637fe553e89ef9b39312721e84c34ed072418738e9`