OKlibrary  0.2.1.6
Basics.mac File Reference

Tests regarding the most basic reductions. More...

Go to the source code of this file.


Detailed Description

Tests regarding the most basic reductions.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/tests/Basics.mac");

Definition in file Basics.mac.