OKlibrary  0.2.1.6
LargestAutarky.mac File Reference

Functions related to the largest autarky in partial assignments. More...

Go to the source code of this file.


Detailed Description

Functions related to the largest autarky in partial assignments.

Use by

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

Definition in file LargestAutarky.mac.