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 |
Thu, 03 Aug 2017 21:38:05 +0200 | paulson | eliminated more "guess", etc. | changeset | files |
Thu, 03 Aug 2017 14:15:25 +0200 | paulson | merged | changeset | files |
Thu, 03 Aug 2017 14:15:06 +0200 | paulson | more tidying | changeset | files |
Thu, 03 Aug 2017 11:29:08 +0200 | paulson | more tidying up | changeset | files |