Skip to content

Z3 library

Kai Prott requested to merge z3-library into master

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

Merge request reports