ports/math/z3
