Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with conjunctive-normal-form
A curated list of projects in awesome lists tagged with conjunctive-normal-form .
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
https://github.com/lancejpollard/cnf.js
Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)
conjunctive-normal-form math proof-theory propositional-logic
Last synced: 30 Nov 2024
