A simple wrapper for Z3 solver
Project description
JZ3
This project was partly based on the code from z3-sudoku
This project uses python z3-solver to benchmark encoding techniques to solving the same problem. It then compares the efficiency of each method and between different encoding techniques.
The link to the PyPi package is https://pypi.org/project/jz3/ The link to the github repo is https://github.com/Robert-Jia00129/jz3
/solvers: Houses executables and related files for various SMT solvers used in the project.
for analyzing solver performance and generating images for reports or presentations.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
jz3-0.1.12.tar.gz
(7.9 MB
view details)
Built Distribution
jz3-0.1.12-py3-none-any.whl
(7.9 MB
view details)
File details
Details for the file jz3-0.1.12.tar.gz.
File metadata
- Download URL: jz3-0.1.12.tar.gz
- Upload date:
- Size: 7.9 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.0.0 CPython/3.11.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 4533e5bd10026c442e883dd8f3eda525190eae80105860edb85701963603a146 |
|
| MD5 | b37e65dda2181649de8daf1aabc8d238 |
|
| BLAKE2b-256 | b8011e92ef13448f389288312d806a54d9ab5192dccb8b48925e4bd3d628f6c8 |
File details
Details for the file jz3-0.1.12-py3-none-any.whl.
File metadata
- Download URL: jz3-0.1.12-py3-none-any.whl
- Upload date:
- Size: 7.9 MB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.0.0 CPython/3.11.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | ec225449d67d02d9a243db2ee312572cbc53354ed9010dc8ac0d6e9420ca1ad8 |
|
| MD5 | fe7cea1f1be3cfd7058c491e2ddcbb0e |
|
| BLAKE2b-256 | cf9fd857d9fa229bb4777cea7cd88fceae229d35d963355bf8b394e0bd18b81c |
