README.md
March 22, 2023 ยท View on GitHub
A project that builds Boogie for Viper.
It also contains a prebuilt binary of z3 for the new Apple silicon devices.
The prebuilt ones from z3 only exist for versions z3-4.8.16 and up
March 22, 2023 ยท View on GitHub
A project that builds Boogie for Viper.
It also contains a prebuilt binary of z3 for the new Apple silicon devices.
The prebuilt ones from z3 only exist for versions z3-4.8.16 and up