This repo holds materials for our Splash 2017 class on Z3.
Why do you think that https://github.com/newca12/awesome-rust-formalized-reasoning is a good alternative to z3_splash_class
This repo holds materials for our Splash 2017 class on Z3.
Why do you think that https://github.com/newca12/awesome-rust-formalized-reasoning is a good alternative to z3_splash_class