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