My Project
Loading...
Searching...
No Matches
tools Directory Reference

Detailed Description

This directory contains the sources of some useful complete executables.

Files

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