front-end for z3, but now I'm not sure how much use it is.