All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
tools Directory Reference

Detailed Description

This directory contains the sources of some useful complete executables.

Files

file  dimacs-solver.cc
 DIMACS problem solver.
 
file  dimacs-to-lgf.cc
 DIMACS to LGF converter.
 
file  lgf-gen.cc
 Special plane graph generator.