| Mon, 01 Jun 2015 18:59:21 +0200 | haftmann | separate class for division operator, with particular syntax added in more specific classes | file | diff | annotate |
| Wed, 08 Apr 2015 19:05:57 +0200 | blanchet | updated certificates to latest Z3 (and took out one problem that no longer works) | file | diff | annotate |
| Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | updated SMT certificates | file | diff | annotate |