OKlibrary  0.2.1.6
ConstraintSatisfaction.mac File Reference

Tests related to solving constraint problems by backtracking. More...

Go to the source code of this file.


Detailed Description

Tests related to solving constraint problems by backtracking.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Backtracking/tests/ConstraintSatisfaction.mac");

Definition in file ConstraintSatisfaction.mac.