OKlibrary  0.2.1.6
MatchingAutarkies.mac File Reference

Tests related to extraction of the largest autarky. More...

Go to the source code of this file.


Detailed Description

Tests related to extraction of the largest autarky.

Use by

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

Definition in file MatchingAutarkies.mac.