Closed

Sat Based equivalence check using Davis Putnam for satisfiability