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

Components for (general) autarky search. More...

---

Detailed Description

Components for (general) autarky search.

Alias "Sea".