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