OKlibrary  0.2.1.6
Basics.mac File Reference

Tests for basic components related to prime clauses. More...

Go to the source code of this file.


Detailed Description

Tests for basic components related to prime clauses.

Use by

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

Definition in file Basics.mac.