K 10
svn:author
V 3
ale
K 8
svn:date
V 27
2020-01-28T10:37:57.710181Z
K 7
svn:log
V 63
Update to 0.6.2 release and enable all SMT solvers by default.

END