abc

Adding an option to &cec against a previous saved AIG.

Command "solver".

Adding callbacks to verification engines.

Temporarily commenting out this line which causes BLIF reader to fail.

Fixing a compiler problem.