Skip to content
v1.1.5
93550f1b · Merge pull request #132 from jad-hamza/cvc4-1.8 ·
Release: Simplifier, unroll bound, MapMerge for z3 maps, error reporting, sbt and java versions