Skip to content

SMT-based GLAS derivation

Ben Fiedler requested to merge glas-z3 into main

Initial implementation is done.

For some reason the z3-sys crate requires some of the C compilers, which is very annoying.

Edited by Ben Fiedler

Merge request reports