OKlibrary  0.2.1.6
Basics.mac File Reference

Basic tools for handling boolean and finite functions. More...

Go to the source code of this file.


Detailed Description

Basic tools for handling boolean and finite functions.

Use by

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

Definition in file Basics.mac.