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