solver.h File Reference

Go to the source code of this file.

Classes
class	orbiter::layer4_classification::exact_cover
	exact cover problems arising with the lifting of combinatorial objects More...
class	orbiter::layer4_classification::exact_cover_arguments
	command line arguments to control the lifting via exact cover More...

Namespaces
namespace	orbiter
	the orbiter library for the classification of combinatorial objects
namespace	orbiter::layer4_classification
	classification of combinatorial objects