tools/dimacs-solver.cc
changeset 591 493533ead9df
parent 569 24682336c38e
child 594 d657c71db7db
equal deleted inserted replaced
3:b335ff76f929 4:c043b9089b91
    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