smt2proxy (cargo): Binary tool to intercept and pre-process SMT2 commands
Keywords: solver|smt|smt-lib