src/work/marci/oldies/dimacs.hh
2004-04-21 dimacs.hh goes to oldies