Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with 3-satisfiability
A curated list of projects in awesome lists tagged with 3-satisfiability .
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: 15 Nov 2024