compare_resyn — a demonstration script for ABCTcl
A simple ABCTcl script. It compares several resynthesis procedures
using ABC. For each resynthesis, ABC reads circuit-file,
performs resynthesis, and then reports results to the script.
They are compared and a summary produced.