There are 0 repository under compound-boolean topic.
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem