OKlibrary  0.2.1.6
HittingProofSystem.mac File Reference

Functions related to hitting proof systems. More...

Go to the source code of this file.


Detailed Description

Functions related to hitting proof systems.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/ConflictCombinatorics/HittingProofSystem.mac");

Definition in file HittingProofSystem.mac.