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