tools Directory Reference

---

Detailed Description

This directory contains the sources of some useful complete executables.

Files
file	dim_to_lgf.cc
	DIMACS to LGF converter.
file	lgf-gen.cc
	Special plane graph generator.