z4-solver

z3++


License
GPL-3.0-only
Install
pip install z4-solver==2019.10.12.2

Documentation

z4

z3 with some improvements:

  • Change the right shift operation on BitVec's to be logical instead of arithmetic
  • Add the ByteVec class