CVC4: A new, re-designed SMT (Satisfiability Modulo Theories) solver releasedcvc4.cs.nyu.edu2 pointsTrirepetae14 years ago