org.sosy-lab:javasmt-solver-cvc5 (maven): SMT solver CVC5 for use in JavaSMT
Keywords: java|smt|solver