| Tue, 17 Nov 2009 13:51:16 +0100 | blanchet | use SAT solver that's available everywhere for this example | changeset | files |
| Tue, 17 Nov 2009 13:50:46 +0100 | blanchet | invoke Kodkodi from Nitpick using new $KODKOD/bin/kodkodi script; | changeset | files |
| Tue, 17 Nov 2009 10:58:37 +0100 | blanchet | merged | changeset | files |