make z3 libs easier to reuse