IDP-Z3 is a collection of software components implementing the Knowledge Base paradigm using the IDP language and a Z3 SMT solver.
Project description
The author of this package has not provided a project description
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.6.1.tar.gz
(47.9 kB
view details)
Built Distribution
File details
Details for the file idp-solver-0.6.1.tar.gz.
File metadata
- Download URL: idp-solver-0.6.1.tar.gz
- Upload date:
- Size: 47.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.2 CPython/3.7.7 Linux/5.4.0-58-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 0b103d0372b72a0349d4083c8f58955348d95aaa2d4c0f099c7219ad957175cb |
|
| MD5 | 1eb55f7c2f7104fb7ee41ba3f089c0d7 |
|
| BLAKE2b-256 | 71dde84c55ae6f983ccc0f93e39bb575761611edf2b281ff7789bb9848f2b1c0 |
File details
Details for the file idp_solver-0.6.1-py3-none-any.whl.
File metadata
- Download URL: idp_solver-0.6.1-py3-none-any.whl
- Upload date:
- Size: 57.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.2 CPython/3.7.7 Linux/5.4.0-58-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 5faff21d67a612882636943c56abfce6c3280008ef9b883f7d42c46f949fb168 |
|
| MD5 | 5fdde6c64e42821d91c79bd3acce512b |
|
| BLAKE2b-256 | 145728811171b4fad8a7f13cc819301ed421b77beff7ead702a578315da0e0e4 |
