All Categories → No Category → cnf

Top 6 cnf open source projects

slime-sat-solver

A Free World Class High Performance SAT Solver

✭ 15

javascript C++HTML CSS Makefile c cnf sat-solver sat satisfiability cnf-clauses cnf-encoding

4G/5G Mobile Core User Plane

✭ 97

go python C++shell docker kubernetes dpdk prometheus cnf dataplane 4g upf 5g spgw userplane bess pfcp

chomsky-normal-form

Convert a Context Free Grammar (CFG) to Chomsky Normal Form (CNF)

✭ 17

python cnf chomsky cfg

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

✭ 36

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

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

✭ 45

C++CMake python shell cnf cryptoanalysis sat dimacs anf anf-simplifications

Experimental minisat SAT solver reimplementation in Rust

✭ 68

rust np-complete cnf sat-solver minisat

1-6 of 6 cnf projects