It would be good to bind a Z3 with the everest script

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

It would be good to bind a Z3 with the everest script #116

Open briangmilnes opened 1 month ago

briangmilnes commented 1 month ago

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.