OKlibrary  0.2.1.6
Translations.mac File Reference

Tests for autarky search via reductions to other problems. More...

Go to the source code of this file.


Detailed Description

Tests for autarky search via reductions to other problems.

Use by

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

Definition in file Translations.mac.