wenzelm [Wed, 12 Dec 2012 17:44:10 +0100] rev 50493
more systematic identifier variants to facilitate experimentation;
wenzelm [Wed, 12 Dec 2012 16:28:18 +0100] rev 50492
prevent dedicated MacOSX plugin from switching off vital workarounds;
wenzelm [Wed, 12 Dec 2012 14:54:48 +0100] rev 50491
improved coupling of zoom_box and scale;
explicit rescale(1.0) on startup;
blanchet [Wed, 12 Dec 2012 13:28:23 +0100] rev 50490
really all facts means really all facts (well, almost)
blanchet [Wed, 12 Dec 2012 13:28:01 +0100] rev 50489
tuning
blanchet [Wed, 12 Dec 2012 11:56:07 +0100] rev 50488
use modern SAT solvers with modern Kodkod versions
blanchet [Wed, 12 Dec 2012 11:18:06 +0100] rev 50487
got rid of support for Kodkodi < 1.2.14
blanchet [Wed, 12 Dec 2012 03:47:02 +0100] rev 50486
made MaSh evaluation driver work with SMT solvers