2 ms·I second this, Z3 is fantastic and open source! https://rise4fun.com/z3 https://rise4fun.com/z3by jahewson 8y agoI second this, Z3 is fantastic and open source! https://rise4fun.com/z3 https://rise4fun.com/z3