PV1 z3overlayenables type-safe creation of SMT formulae

Internals

an overlay to official binding to Z3
Library SMT

Links

https://github.com/termite-analyser/z3overlay

Last commit date

3 July 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.