Pythonic interface for the Bitwuzla SMT solver
Verified details
These details have been verified by PyPIProject links
GitHub Statistics
Maintainers
Project description
bitwuzla-pythonic
Pythonic interface for the Bitwuzla SMT solver.
Installation
pip install bitwuzla-pythonic
Usage
Same as z3py / cvc5.pythonic
from bitwuzla_pythonic import *
s = Solver()
a = BitVec('a', 32)
b = BitVec('b', 32)
s.add((a * b ^ 1337) == 291710820)
assert s.check() == sat
m = s.model()
print(m)
# [a = 4003257763, b = 4294967295]
Acknowledgements
- cvc5/cvc5_pythonic_api - Reference
- Z3Prover/z3 - Reference
opus4.6- Authored most of the code in this repo :upside_down:
Project details
Verified details
These details have been verified by PyPIProject links
GitHub Statistics
Maintainers
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
bitwuzla_pythonic-1.0.0.tar.gz
(44.1 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file bitwuzla_pythonic-1.0.0.tar.gz.
File metadata
- Download URL: bitwuzla_pythonic-1.0.0.tar.gz
- Upload date:
- Size: 44.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: uv/0.11.2 {"installer":{"name":"uv","version":"0.11.2","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
22fe2dd93c6de81fa56a953c0ccacfd4c7ade6cbc6ee8f5a766cbe7762e3c9cd
|
|
| MD5 |
0517ac6526117b8e9794d92307666086
|
|
| BLAKE2b-256 |
f276efca721d08c734fefcdc1b2cf5b61e30ee213c516927d2426f7625859dcf
|
File details
Details for the file bitwuzla_pythonic-1.0.0-py3-none-any.whl.
File metadata
- Download URL: bitwuzla_pythonic-1.0.0-py3-none-any.whl
- Upload date:
- Size: 20.9 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via: uv/0.11.2 {"installer":{"name":"uv","version":"0.11.2","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
b8b5aa72c76bd9f07d60f771640154c94fcef15e626d4774faf4ce2e9f35abbd
|
|
| MD5 |
6a82ba186df4bc257ee0c8ceb17e2bd8
|
|
| BLAKE2b-256 |
d8b1d2557f3126d114016554caf2402053723cf568526bc1a607a006d41f3fc9
|
