OKlibrary  0.2.1.6
RandomBooleanFunctions.mac File Reference

Generating random boolean functions in various forms. More...

Go to the source code of this file.


Detailed Description

Generating random boolean functions in various forms.

Use by

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

Definition in file RandomBooleanFunctions.mac.