| changeset 542 | 69bde1d90c04 |
| parent 539 | fb261e3a9a0f |
| child 549 | 5531429143bc |
| 0:11bbe287929b | 1:435804979c91 |
|---|---|
3 #define HUGO_DIMACS_H |
3 #define HUGO_DIMACS_H |
4 |
4 |
5 #include <iostream> |
5 #include <iostream> |
6 #include <string> |
6 #include <string> |
7 #include <vector> |
7 #include <vector> |
8 #include <maps.h> |
8 #include <hugo/maps.h> |
9 |
9 |
10 /// \file |
10 /// \file |
11 /// \brief Dimacs file format reader. |
11 /// \brief Dimacs file format reader. |
12 |
12 |
13 namespace hugo { |
13 namespace hugo { |