tools Directory Reference

Detailed Description

This directory contains the sources of some useful complete executables.

Files
	dimacs-solver.cc
	dimacs-to-lgf.cc
	lgf-gen.cc
	Special plane graph generator.