Skeptik

Skeptik: A Proof Compression System. This paper introduces Skeptik: a system for checking, compressing and improving proofs obtained by SAT- and SMT-solvers.