3 ms·It's based on the Z3 solver, here's Z3Py: http://rise4fun.com/z3py http://rise4fun.com/z3pyby judah 13y agoIt's based on the Z3 solver, here's Z3Py: http://rise4fun.com/z3py http://rise4fun.com/z3py