compound-boolean
There are 1 repositories under compound-boolean topic.
SleekPanther/3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
There are 1 repositories under compound-boolean topic.
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem