OKlibrary  0.2.1.6
LinearEquations.mac File Reference

Generators for clause-sets related to linear equations. More...

Go to the source code of this file.


Detailed Description

Generators for clause-sets related to linear equations.

Use by

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

TODO: Move to ComputerAlgebra/Satisfiability/Lisp/LinearConditions.

Definition in file LinearEquations.mac.