Fri, 24 Apr 2009 12:23:17 +0200 Peter Kovacs Support LEQ and GEQ supply constraints in dimacs-solver (#234, #219)