OKlibrary  0.2.1.6
PlantedSolutions.mac File Reference

Tests for generators for instances with planted solutions. More...

Go to the source code of this file.


Detailed Description

Tests for generators for instances with planted solutions.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/tests/PlantedSolutions.mac");

Definition in file PlantedSolutions.mac.