OKlib::Satisfiability::ProblemInstances::Conditions::AtomicConditions Namespace Reference

Components for atomic conditions (corresponding to characteristic functions of sets) More...

---

Detailed Description

Components for atomic conditions (corresponding to characteristic functions of sets)

Alias "ACn".