Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with cnf

A curated list of projects in awesome lists tagged with cnf .

https://github.com/stp/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

cnf cryptography sat-solver smt symbolic-execution verification

Last synced: 09 Jul 2025

https://github.com/lfn-cnti/testsuite

📞📱☎️📡🌐 Cloud Native Telecom Initiative (CNTi) Test Suite is a tool to check for and provide feedback on the use of K8s + cloud native best practices in networking applications and platforms

best-practices cloud-native cnf cnfs conformance-tests crystal good-first-issue k8s kubernetes

Last synced: 02 Apr 2026

https://github.com/cnti-testcatalog/testsuite

📞📱☎️📡🌐 Cloud Native Telecom Initiative (CNTI) Test Catalog is a tool to check for and provide feedback on the use of K8s + cloud native best practices in networking applications and platforms

best-practices cloud-native cnf cnfs conformance-tests crystal good-first-issue k8s kubernetes

Last synced: 03 Mar 2025

https://github.com/cncf/cnf-testbed

ARCHIVED: 🧪🛏️Cloud-native Network Function (CNF) Testbed --> See LFN Cloud Native Telecom Initiative https://wiki.lfnetworking.org/pages/viewpage.action?pageId=113213592

cloud-native cnf telecom

Last synced: 09 Apr 2025

https://github.com/meelgroup/bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

anf anf-simplifications cnf cryptoanalysis dimacs sat

Last synced: 18 Jan 2026

https://github.com/mishun/minisat-rust

Experimental minisat SAT solver reimplementation in Rust

cnf minisat np-complete rust sat-solver

Last synced: 09 May 2025

https://github.com/Devorein/fauton

An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

automaton cfg cnf cyk-algorithm dfa epsilon-nfa finite-automata ll1-parser lr1-parser nfa nfa-to-dfa-conversion parser regex typescript

Last synced: 10 May 2025

https://github.com/devorein/fauton

An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

automaton cfg cnf cyk-algorithm dfa epsilon-nfa finite-automata ll1-parser lr1-parser nfa nfa-to-dfa-conversion parser regex typescript

Last synced: 19 Apr 2025

https://github.com/meelgroup/arjun

CNF minimizer and minimal independent set minimizer

cnf dimacs-cnf model-counting simplifier

Last synced: 06 Apr 2026

https://github.com/maxtuno/slime-sat-solver

A Free World Class High Performance SAT Solver

cnf cnf-clauses cnf-encoding sat sat-solver satisfiability

Last synced: 08 Oct 2025

https://github.com/hellman/quine-mccluskey

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm

boolean-minimization cnf dnf quine-mccluskey satisfiability

Last synced: 11 Apr 2025

https://github.com/basemax/cfg2cnf

Python program to convert a Context Free Grammar to Chomsky Normal Form.

cfg chomsky cnf context-free context-free-grammar context-free-grammars context-free-language python

Last synced: 25 Jul 2025

https://github.com/cipherboy/cmsh

High-level interfaces over @msoos's CryptoMiniSat.

circuit cnf cryptominisat cryptominisat5 golang high-level python sat satisfiability

Last synced: 24 Apr 2025

https://github.com/average-user/lec

Transformer of propositional logic expressions to CNF and DNF

cnf cnf-encoding haskell logic

Last synced: 07 Sep 2025

https://github.com/pindakaashq/pindakaas

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

cnf pseudo-boolean sat sat-encodings

Last synced: 21 Feb 2026

https://github.com/vaibhavkarve/normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

clause cnf logic python3 sat sat-solver

Last synced: 14 Jan 2026

https://github.com/cncf/cnf-certification

CNF Certification is now part of the Cloud Native Telcom Initiative's test catalog focus area @ https://github.com/lfn-cnti/certification

certification cloud-native cncf cnf lfn networking telecom telecommunication

Last synced: 19 Mar 2026

https://github.com/cncf/cnf-testsuite

CNF Test Suite is now part of the Cloud Native Telcom Initiatives Test Catalog @ https://github.com/cnti-testcatalog/testsuite

cloud-native cnf k8s telecom testing testsuite

Last synced: 02 Jan 2026

https://github.com/hellman/optimodel

A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)

bitvectors cnf dnf linear-programming milp minimization satisfiability

Last synced: 16 Mar 2026

https://github.com/cyberzhg/parse-toys

Parsing toys

cnf cyk unger

Last synced: 03 Apr 2025

https://github.com/curtisfenner/cnf-solver

A small CNF-SAT solver implementing simple conflict driven clause learning (CDCL) and a simple branching heuristic.

cnf sat-solver

Last synced: 28 Mar 2025

https://github.com/hellman/optisolveapi

Optimization & Solving common API (SAT, MILP, etc.)

cnf milp optimization satisfiability solving

Last synced: 11 Apr 2025

https://github.com/meelgroup/gaussmaxhs

GaussMaxHS, a CNF+XOR MaxSAT solver

cnf gauss-elimination gauss-jordan maxsat xor

Last synced: 18 Jan 2026

https://github.com/cncf/cnf-wg

# CNF Working Group (WG) is now part of the Cloud Native Telcom Initiative @ https://github.com/lfn-cnti/bestpractices

best-practices cloud-native cnf telecom

Last synced: 24 Jan 2026

https://github.com/maxbrheinl/sat-solver

Sat-Solver is a Prolog program that converts propositional logic formulas into CNF and solves them using the DPLL algorithm. It processes logical expressions and applies unit propagation, clause simplification, and variable branching. The project was mainly built to improve skills in Prolog.

cnf dpll-algorithm logical-programming prolog sat-solver

Last synced: 09 Feb 2026

https://github.com/tqma113/cyk

A parser of CYK for CNF(Chomsky Normal Form) by Rust.

cnf cyk parser rust

Last synced: 28 Mar 2025

https://github.com/muneeb706/sudoku-solver

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.

cnf dimacs latin-square logic-in-computer-science python

Last synced: 13 Oct 2025

https://github.com/madebypixel02/openssl-practices-2022

[Uc3m] Welcome to the Open Secure Sockets Layer

cnf cybersecurity data-protection openssl openssl-library uc3m

Last synced: 05 Mar 2026

https://github.com/night-crawler/nnf

Negation Normal Form manipulation library

cnf nnf tseitin-transformation

Last synced: 04 Jun 2026

https://github.com/akito19/hadder

An adder that outputs DIMACS form.

adder cnf dimacs-form haskell

Last synced: 05 May 2025

https://github.com/ahmad-elassuty/unification-and-cnf-converter-project

University Unification and CNF Converter Project

cnf fol-sentence sentence

Last synced: 15 Mar 2025

https://github.com/hujun-open/k8slan

k8slan create virtual LANs across k8s cluster

cnf k8s lan vnf

Last synced: 09 Mar 2026

https://github.com/limo1996/programverification1

Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms

cdcl-algorithm cnf cnf-clauses dpll-algorithm ethz sat-solver

Last synced: 08 Feb 2026

https://github.com/rrsmart8/cnf-conversion-tool

Generates the equivalent CNF formulas to be used in SAT solvers

cnf logical-gates sat-solver

Last synced: 28 Oct 2025

https://github.com/ritu-thombre99/solving-cnf-sat-using-dpll

This program checks if an input CNF is satisfiable or not to check logical entailment.

cnf cnf-clauses dpll dpll-algorithm sat-solver

Last synced: 23 Feb 2025

https://github.com/touhi99/parsing

Parsing Course Project - A CYK implementation with CNF

cky cnf cyk-algorithm nltk parsing

Last synced: 21 Aug 2025

https://github.com/leabrodyheine/mosaic-game-logical-agents

This project implements an intelligent agent to solve the Mosaic logic puzzle using strategies such as Single Point Strategy, Satisfiability Test Reasoning (with DNF and CNF encoding), and Probabilistic Reasoning. It utilizes frameworks and libraries including Java, LogicNG, and SAT4J for logical reasoning and satisfiability problems.

ai-agents backend cnf dnf logic-programming logical-ag logicng sat4j satisfiability

Last synced: 09 Oct 2025