src/hugo/dimacs.h
changeset 912 88c5d1a02f53
parent 903 2e664d4969d7