z3++
Project description
z4
z3 with some improvements:
- Change the right shift operation on
BitVec
's to be logical instead of arithmetic - Add the
ByteVec
class - Some helper methods for solving:
easy_solve
find_all_solutions
easy_prove
- Add some helper functions for z3 variables/constants:
BoolToInt
Sgn
Abs
TruncDiv
Project details
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
z4-solver-2021.12.25.0.tar.gz
(14.7 kB
view hashes)
Built Distribution
Close
Hashes for z4_solver-2021.12.25.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | abb9cbaab24bc250e2b0a1a6c4442a789d7db42a8bf947f4ded218270ac0fc82 |
|
MD5 | d3afbbb5252fd80a7111bacff2f01fa9 |
|
BLAKE2b-256 | 3dc6e84c61b9efdd71f4c9ba8a99d98355111d25bda52c509f1f6c69153306f3 |