Wed, 08 Apr 2015 19:15:55 +0200 | blanchet | Z3 news | changeset | files |
Wed, 08 Apr 2015 19:05:57 +0200 | blanchet | updated certificates to latest Z3 (and took out one problem that no longer works) | changeset | files |
Wed, 08 Apr 2015 18:58:28 +0200 | blanchet | updated docs to reflect actually run ATPs | changeset | files |