z3-cex INSTALL Run opam pin add -y z3-cex https://github.com/ryosu-sato/z3-cex.git#main USAGE z3-cex input.smt2 [options of z3]