OKlibrary  0.2.1.6
SplittingTrees.mac File Reference

Functions for handling of splitting trees. More...

Go to the source code of this file.


Detailed Description

Functions for handling of splitting trees.

Use by

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

Definition in file SplittingTrees.mac.