This repo holds materials for our Splash 2017 class on Z3.
Why do you think that https://github.com/sarsko/CreuSAT 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/sarsko/CreuSAT is a good alternative to z3_splash_class