cnf
Here are 32 public repositories matching this topic...
SAT-solver based on resolution method in 2-CNF using PLY
-
Updated
Jan 31, 2020 - Python
Python program to convert a Context Free Grammar to Chomsky Normal Form.
-
Updated
Jun 30, 2020 - Python
High-level interfaces over @msoos's CryptoMiniSat.
-
Updated
Mar 14, 2024 - Python
SAT-X is a language for constrained optimization and decision problems over positive integers, that work with any SAT Competition standard SAT solver. Is based on Python, and is ase to learn and easy to use with all technologies associated to this language.
-
Updated
Jun 14, 2022 - Python
A Circuit SAT language that emit CNF code.
-
Updated
Jun 28, 2022 - Python
eNFA - NFA, DFA - DFA minimization, CNF and CKY
-
Updated
Aug 25, 2021 - Python
Optimization & Solving common API (SAT, MILP, etc.)
-
Updated
Jul 7, 2024 - Python
This repo contains all the solutions to assignments of Discrete Mathematics coursework which can be used as tools
-
Updated
Jul 11, 2023 - Python
Simple SAT solver implementation using python. It also includes a BNF to CNF converter
-
Updated
Aug 21, 2022 - Python
This project is done by CNF algorithms
-
Updated
Jul 23, 2022 - Python
A program which will read a sudoku puzzle from a file (some examples are sudoku1.txt, sudoku2.txt, etc) and generate clauses in the DIMACS format for each sudoku puzzle in the files sudokuN.cnf, where N = 1, 2, ..., 5.
-
Updated
Mar 25, 2020 - Python
When a query is asked, various sentences from Knowledge Base are inferred and outputs whether the given query can be inferred or not based on the Resolution Algorithm
-
Updated
Feb 7, 2018 - Python
A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)
-
Updated
Jul 7, 2024 - Python
To convert propositional formula onto its equivalent CNF form
-
Updated
Sep 14, 2018 - Python
Improve this page
Add a description, image, and links to the cnf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cnf topic, visit your repo's landing page and select "manage topics."