OKlibrary  0.2.1.6
Deficiency4.mac File Reference

Tests for functions related to MUSAT(1) More...

Go to the source code of this file.


Detailed Description

Tests for functions related to MUSAT(1)

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/MinimalUnsatisfiability/tests/Deficiency4.mac");

Definition in file Deficiency4.mac.