OKlib::Satisfiability::Algorithms::Autarkies Namespace Reference

Components for autarky handling. More...

Namespaces
namespace	MatchingAutarkies
	Components related to finding matching autarkies.
namespace	Search
	Components for (general) autarky search.

---

Detailed Description

Components for autarky handling.

Alias "Aut".