It's based on the Z3 solver, here's Z3Py: http://rise4fun.com/z3py

		judah on May 9, 2013 \| parent \| context \| favorite \| on: Microsoft Code Digger It's based on the Z3 solver, here's Z3Py: http://rise4fun.com/z3py