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