src/work/akos/demo.in
2004-02-04 added the loader for the DIMACS file format