https://github.com/sleekpanther/3-sat-certifier

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

3-sat 3-satisfiability 3sat certificate certifier-algorithm circuit-satisfiability clause cnf compound-boolean computational-instability conjunctive-normal-form exp literals negation np np-complete np-hard p sat satisfiability

Last synced: 05 Mar 2025