deba [Mon, 04 Apr 2005 10:13:33 +0000] rev 1297
Bug fix.
deba [Mon, 04 Apr 2005 10:11:47 +0000] rev 1296
dimacs_to_lgf demo
may we need a tools directory?
alpar [Mon, 04 Apr 2005 08:03:43 +0000] rev 1295
- Modifications to compile with *both* gcc-3.3 and gcc-3.4
- Adjust further SolutionType