| Wed, 12 Dec 2012 11:56:07 +0100 | blanchet | use modern SAT solvers with modern Kodkod versions | file | diff | annotate |
| Thu, 27 Sep 2012 17:00:54 +0200 | blanchet | lower the defaults for the number of bits, based on an example by Lukas Bulwahn | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |