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
Project details
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.5.5.tar.gz
(44.5 kB
view hashes)
Built Distribution
idp_solver-0.5.5-py3-none-any.whl
(53.9 kB
view hashes)
Close
Hashes for idp_solver-0.5.5-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0e62d940ae99f992edad36dbe1124c24cda2155bad50005601aed1b6f946f046 |
|
MD5 | c5e6cc3b1a549b5d155b976cdc6918db |
|
BLAKE2b-256 | 7b96866743c9db80f8a443eda44a46d97a3f84d398f830475d696cdff5799718 |