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