K 10
svn:author
V 3
ale
K 8
svn:date
V 27
2019-02-14T08:06:47.617098Z
K 7
svn:log
V 64
Update to 0.5.4 release and enable CVC4 SMT Checker by default.

END