# Is a software implementation of a PCP encoder available?

We all know the PCP Theorem. Is there any software package availalbe taking a CNF in e.g. DIMACS format as input, and producing a PCP encoding in the same format as output? It might be interesting to run existing SAT solvers on such encoded instances and compare the performance relative to plain instances.

• (From what I can see, that work is "PCPs for succinct arguments" $\hspace{2.24 in}$ rather than "PCPs in their own right".) $\:$ – user6973 Aug 19 '13 at 22:20