OKlibrary  0.2.1.6
Transformations.mac File Reference

Tests for functions about transformations related to minimal unsatisfiability. More...

Go to the source code of this file.


Detailed Description

Tests for functions about transformations related to minimal unsatisfiability.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/MinimalUnsatisfiability/tests/Transformations.mac");

Definition in file Transformations.mac.