OKlibrary  0.2.1.6
PartialAssignments.mac File Reference

Tests for operations with partial assignments. More...

Go to the source code of this file.


Detailed Description

Tests for operations with partial assignments.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/PartialAssignments.mac");

Definition in file PartialAssignments.mac.