OKlibrary  0.2.1.6
TableauAlgorithm.mac File Reference

Tests for autarky search via the tableau method. More...

Go to the source code of this file.


Detailed Description

Tests for autarky search via the tableau method.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Autarkies/tests/TableauAlgorithm.mac");

Definition in file TableauAlgorithm.mac.