/z3-approximations

Primary LanguagePython

Implementation of under- and over-approximations for Z3 Python API.