Fri, 24 Apr 2009 12:23:53 +0200 | Peter Kovacs | Exploit the changes of #190 in MCF test file (#234, #190) | changeset | files |
Fri, 24 Apr 2009 12:23:17 +0200 | Peter Kovacs | Support LEQ and GEQ supply constraints in dimacs-solver (#234, #219) | changeset | files |