Paradoxika/Skeptik — pull request #100 by AFellner (2014-11-30 17:29:11+00:00)
Title: Congruence Compressors

Implement the congruence compression algorithms as described in my master thesis Space and Congruence Compression of Proofs.
From CLI the algorithms ArrayC, FibC and PtC.
The frist two use the EquationGraph structure, with Array and Fibonacci Priority Queues respectively.
PtC uses the ProofTree structure.