OKlib::Satisfiability::ProblemInstances::ActiveClauses::InjectivityConstraints Namespace Reference

Active clauses expressing that variables must get different values, and generalisations and refinements. More...

---

Detailed Description

Active clauses expressing that variables must get different values, and generalisations and refinements.