IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
Project description
This package is deprecated.
Please use idp-engine instead.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
idp-solver-0.7.3.tar.gz
(51.8 kB
view details)
Built Distribution
File details
Details for the file idp-solver-0.7.3.tar.gz.
File metadata
- Download URL: idp-solver-0.7.3.tar.gz
- Upload date:
- Size: 51.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.2 CPython/3.7.7 Linux/5.4.0-66-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | ea0366d141d3cbdb25225c62522555ff655254b9cd56eaabad0d6c4e521d1a6e |
|
| MD5 | 535cd8bc55304fa7c5aa23516e04593e |
|
| BLAKE2b-256 | f4bf567616d6041c225546966af161ceb71c08be8915091bcc92dc229a4205e1 |
File details
Details for the file idp_solver-0.7.3-py3-none-any.whl.
File metadata
- Download URL: idp_solver-0.7.3-py3-none-any.whl
- Upload date:
- Size: 60.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.2 CPython/3.7.7 Linux/5.4.0-66-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 616535c44cd6f940a617fcbeb8a86337d315d479dbdef82c961b4a0dcb92ae30 |
|
| MD5 | e940d8a624293c8dcbb9fcf7966fe7fd |
|
| BLAKE2b-256 | e3e7ca03589421c551410d637fe553e89ef9b39312721e84c34ed072418738e9 |
