It would be good to bind a Z3 with the everest script #116
Description
While building a clean Make setup (to replace it with F* code) it's clear that everest should
have a Z3 in it bound to the right revision for the Everest scripts.
{{ message }}
While building a clean Make setup (to replace it with F* code) it's clear that everest should
have a Z3 in it bound to the right revision for the Everest scripts.