Certifaiger

Certificate checker for AIGER