Skip to content

GitLab

Merged
Created by Kai Prott@kaiprottDeveloper

Z3 library

Add z3-library as a backend. Current support is limited to only basic datatypes.