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