Cerbtora

Certificate checker for Btor2