README

In order to reproduce the experimental results presented in our journal pubblication "Logic Synthesis for Interpolant Circuit Compaction", we present in this txt file a description of PdTRAV and ABC commands used.