OKlibrary  0.2.1.6
Cores.mac File Reference

Functions for computing minimally unsatisfiable and irredundant cores. More...

Go to the source code of this file.


Detailed Description

Functions for computing minimally unsatisfiable and irredundant cores.

Use by

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

Definition in file Cores.mac.