cnf
Here are 40 public repositories matching this topic...
Python program to convert a Context Free Grammar to Chomsky Normal Form.
-
Updated
May 9, 2025 - Python
SAT-solver based on resolution method in 2-CNF using PLY
-
Updated
Jan 31, 2020 - Python
High-level interfaces over @msoos's CryptoMiniSat.
-
Updated
Mar 14, 2024 - Python
A Hashiwokakero Solver using PySAT, DPLL, A* and Brute-force with friendly CLI tools for solving and doing benchmark
-
Updated
Apr 5, 2025 - 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
A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)
-
Updated
Jul 7, 2024 - Python
Optimization & Solving common API (SAT, MILP, etc.)
-
Updated
Jul 7, 2024 - Python
Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
-
Updated
Jan 24, 2026 - Python
A comprehensive Python framework for parsing, transforming, and benchmarking CNF files for SAT solving research.
-
Updated
Jun 14, 2025 - Python
STTF
-
Updated
Nov 30, 2025 - Python
This project is done by CNF algorithms
-
Updated
Jul 23, 2022 - 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
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."