OKlibrary  0.2.1.6
OKlib::Satisfiability::Transformers::Generators Namespace Reference

Generators for (active) clause-sets (which are not yet in their own module). More...

Classes

class  VanderWaerden_TwoParts_1
 Creation of vdW-SAT-problems for mixed binary problems. More...

Detailed Description

Generators for (active) clause-sets (which are not yet in their own module).