tools Directory Reference

---

Detailed Description

This directory contains the sources of some useful complete executables.

Directory dependency graph for tools/:

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.