src/hugo/dimacs.h
changeset 540 405ccc3105e1
parent 533 04eb0d9022c8
child 542 69bde1d90c04