OKlibrary  0.2.1.6
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".