OKlibrary  0.2.1.6
ConstraintSatisfaction.mac File Reference

Functions for solving constraint satisfaction problems via backtracking. More...

Go to the source code of this file.


Detailed Description

Functions for solving constraint satisfaction problems via backtracking.

Use by

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

Definition in file ConstraintSatisfaction.mac.