Topic: "conjunctive-normal-form"
thtran97/Knowledge-Compilers
A Python (re-)implementation of some known knowledge compilers
Language: Python - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
PriorLax123/Propositional_Logic
This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.
Language: Java - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
matez0/decide-raw
Generating decision making algorithms by evolutionary / genetic algorithm
Language: Python - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
SleekPanther/3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
Language: Java - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1
meelgroup/SBVA Fork of hgarrereyn/SBVA
Structured BVA CNF rewriter
Language: C++ - Size: 3.16 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 3
kaleb-asfaw/CNF-Solver
Solves problems that are in conjunctive normal form (CNF)
Language: Python - Size: 34.2 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Wils3B/TVdesFCN
Création des tables de vérité des expressions logiques sous forme conjonctive
Language: Java - Size: 538 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
lancejpollard/cnf.js
Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)
Language: JavaScript - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
brandimarte/satisfyme
A k-satisfiability solver based on Knuth dancing-links X algorithm.
Language: C - Size: 2.27 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
maciej-nowak/LCS-Conjunctive-Normal-Form
Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.
Language: Prolog - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
