OKlibrary  0.2.1.6
Codes.mac File Reference

Generators for finding codes via SAT. More...

Go to the source code of this file.


Detailed Description

Generators for finding codes via SAT.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/Codes.mac");

Definition in file Codes.mac.