Thu, 03 Aug 2017 23:43:17 +0200 | blanchet | pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better | changeset | files |
Thu, 03 Aug 2017 23:43:17 +0200 | blanchet | updated CVC4 component to official 1.5 release | changeset | files |
Thu, 03 Aug 2017 23:06:36 +0200 | paulson | merged | changeset | files |