OKlibrary  0.2.1.6
OKlib::Satisfiability::ProblemInstances::ActiveClauses Namespace Reference

The supermodule with components for problem instances. More...

Namespaces

namespace  InjectivityConstraints
 

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



Detailed Description

The supermodule with components for problem instances.

Alias "ACl".