rsmt2-zz (cargo): Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes
Keywords: smt|solver|sat|satisfiability|smt-lib