equal
deleted
inserted
replaced
21 ///\brief DIMACS problem solver. |
21 ///\brief DIMACS problem solver. |
22 /// |
22 /// |
23 /// This program solves various problems given in DIMACS format. |
23 /// This program solves various problems given in DIMACS format. |
24 /// |
24 /// |
25 /// See |
25 /// See |
26 /// \verbatim |
26 /// \code |
27 /// dimacs-solver --help |
27 /// dimacs-solver --help |
28 /// \endverbatim |
28 /// \endcode |
29 /// for more info on usage. |
29 /// for more info on usage. |
30 /// |
|
31 |
30 |
32 #include <iostream> |
31 #include <iostream> |
33 #include <fstream> |
32 #include <fstream> |
34 #include <cstring> |
33 #include <cstring> |
35 |
34 |