Thu, 03 Aug 2017 23:43:17 +0200 pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
blanchet [Thu, 03 Aug 2017 23:43:17 +0200] rev 66323
pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
Thu, 03 Aug 2017 23:43:17 +0200 updated CVC4 component to official 1.5 release
blanchet [Thu, 03 Aug 2017 23:43:17 +0200] rev 66322
updated CVC4 component to official 1.5 release
Thu, 03 Aug 2017 23:06:36 +0200 merged
paulson [Thu, 03 Aug 2017 23:06:36 +0200] rev 66321
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip