Searched defs:CoreSatProof (Results 1 – 1 of 1) sorted by relevance
63 typedef TSatProof< CVC4::Minisat::Solver> CoreSatProof; typedef78 typedef TSatProof<CVC4::Minisat::Solver> CoreSatProof; typedef