OKlibrary  0.2.1.6
Cores.mac File Reference

Tests for functions about finding irredundant cores. More...

Go to the source code of this file.


Detailed Description

Tests for functions about finding irredundant cores.

Use by

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

Definition in file Cores.mac.