OKlib::Satisfiability::Transformers::CrispCSP Namespace Reference

Module with components for transformers of crisp CSP problems into SAT. More...

---

Detailed Description

Module with components for transformers of crisp CSP problems into SAT.

Alias "CrC".