OKlibrary  0.2.1.6
include.mac File Reference

Inclusion file for Maxima functions related to the notion of prime clauses. More...

Go to the source code of this file.


Detailed Description

Inclusion file for Maxima functions related to the notion of prime clauses.

Use by

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

Definition in file include.mac.