OKlibrary  0.2.1.6
Hypergraphs.mac File Reference

Functions related to the various transformation to graphs and hypergraphs. More...

Go to the source code of this file.


Detailed Description

Functions related to the various transformation to graphs and hypergraphs.

Use by

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

For other graphs see Satisfiability/Lisp/Resolution/Graphs.mac.

Definition in file Hypergraphs.mac.