cnf

There are 3 repositories under cnf topic.

msoos / cryptominisat
An advanced SAT solver
cdcl-algorithm cnf cryptography dpll proof sat-solver verification xor
Language:C++ 842
stp / stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
smt symbolic-execution sat-solver verification cryptography cnf
Language:C++ 537
omec-project / upf
4G/5G Mobile Core User Plane
4g 5g bess cnf dataplane docker dpdk kubernetes pfcp prometheus spgw upf userplane
Language:Go 198
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
Language:Mustache 182
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
Language:Shell 164
sneeuwballen / zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting cnf symbolic-computation saturation
Language:OCaml 150
mishun / minisat-rust
Experimental minisat SAT solver reimplementation in Rust
rust minisat sat-solver np-complete cnf
Language:Rust 71
meelgroup / bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
anf anf-simplifications cnf cryptoanalysis dimacs sat
Language:C++ 69
m4r1k / k8s_5g_lab
5G Telco Lab based on OpenShift
5g cnf containers k8s kubernetes low-latency nfv ocp pao real-time sr-iov telco vpp
Language:Shell 50
Meridio
Nordix / Meridio
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
cloud-native cnf containers golang kubernetes networkservicemesh nfv vnf cni loadbalancing networking service-mesh cncf kubernetes-networking
Language:Go 48
Devorein / fauton
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
dfa typescript automaton nfa nfa-to-dfa-conversion epsilon-nfa finite-automata regex cfg cnf cyk-algorithm ll1-parser parser lr1-parser
Language:TypeScript 41
ellisonch / CFGLib
Probabilistic Context Free Grammar (PCFG) Library for C#
cnf context-free-grammar cyk earley grammar parse-forests parse-trees parser parsing-algorithm random-grammars
Language:C# 39
vsklad / cgen
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
dimacs cnf sha-1 cnf-encoding sha1 sha256 sha2 satisfiability hash-functions cryptography sat
Language:C++ 25
nikos912000 / chomsky-normal-form
Convert a Context Free Grammar (CFG) to Chomsky Normal Form (CNF)
cnf chomsky python cfg
Language:Python 21
slime-sat-solver
maxtuno / slime-sat-solver
A Free World Class High Performance SAT Solver
sat sat-solver satisfiability cnf cnf-clauses cnf-encoding
Language:JavaScript 20
LesFacilitateurs / awesome-telco-cloud
A curated list of Telco Cloud ecosystem projects and resources ☁️
automation cloud cnf infrastructure orchestration telco vnf
19
meelgroup / arjun
CNF minimizer and minimal independent set calculator
cnf dimacs-cnf simplifier
Language:C++ 18
hellman / Quine-McCluskey
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
boolean-minimization cnf dnf quine-mccluskey satisfiability
Language:C++ 15
PhonePe / mustang
Search engine for Rules - Indexing boolean expressions at scale
criteria rules boolean-expression evaluation indexer jackson json json-processor predicates rule-engine indexing-boolean-expression cnf dnf java
Language:Java 11
BaseMax / CFG2CNF
Python program to convert a Context Free Grammar to Chomsky Normal Form.
python cfg cnf context-free-grammar context-free-grammars context-free context-free-language chomsky
Language:Python 9
vpozdnyakov / sat_solver_resolution
SAT-solver based on resolution method in 2-CNF using PLY
ply hse lex parsing resolution-rule 2-sat cnf sat-solver
Language:Python 9
brilacasck / java-language-parser
A simple compiler for parsing java codes and get syntax errors with CYK algorithm for context free grammars (CFG)
java parser java-language javafx compiler light-parser easy-parser cyk cfg cnf syntax-error synthesis context-free-grammar
Language:Java 8
cipherboy / cmsh
High-level interfaces over @msoos's CryptoMiniSat.
sat cnf circuit high-level satisfiability python cryptominisat5 golang cryptominisat
Language:Python 8
julianthome / ctrans
Basic constraint transformation library
dnf boolean-algebra java cnf constraint-transformation-library
Language:Java 8
meelgroup / cmsgen
CMSGen, a fast weighted uniform-like sampler
cnf sampler cnf-clauses dimacs uniformity
Language:C++ 8
Azgmohammadd / LatexToCNF
python cli program to convert latex input to CNF.
cnf computer-science formula latex logic python
Language:Python 7
Xiaowhite7 / Hust_SAT_sudo
华中科技大学计算机科学与技术学院程序设计
sat sudo cnf dpll hust
7
ZaydH / spur
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
satisfiability sat reservoir-sampling gmp cnf
Language:C++ 7
maxtuno / problem-solving-book
Problem Solving: A Practical Workbook
csp np-complete approximation cnf sat slime np-hard real-world
Language:Jupyter Notebook 6
SLIME
maxtuno / SLIME
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
sat cnf boolean-satisfiability solver mpi cluster cloud sat-solver
Language:C++ 6
fmonaco96 / sfc-k8s
A system to enable scalable SFCs in Kubernetes
cnf ebpf kubernetes sfc
Language:Python 5
jakublevy / glucose-win
Windows builds for The Glucose SAT Solver.
glucose sat solver sat-solver sat-solving cnf dimacs minisat windows binary
Language:C++ 5
maxtuno / SATX
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.
cnf python csp sat diophantine solver optimization nonlinear
Language:Python 5
meelgroup / breakid
BreakID, a CNF symmetry-breaking library and tool
cnf satisfiability symmetry-breaking
Language:C++ 5
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
Language:Makefile 4
j-danner / 2xnf_sat_solving
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
algebraic-normal-form cnf sat sat-solving xnf
4

cnf

msoos / cryptominisat

stp / stp

omec-project / upf

lfn-cnti / testsuite

cncf / cnf-testbed

sneeuwballen / zipperposition

mishun / minisat-rust

meelgroup / bosphorus

m4r1k / k8s_5g_lab

Nordix / Meridio

Devorein / fauton

ellisonch / CFGLib

vsklad / cgen

nikos912000 / chomsky-normal-form

maxtuno / slime-sat-solver

LesFacilitateurs / awesome-telco-cloud

meelgroup / arjun

hellman / Quine-McCluskey

PhonePe / mustang

BaseMax / CFG2CNF

vpozdnyakov / sat_solver_resolution

brilacasck / java-language-parser

cipherboy / cmsh

julianthome / ctrans

meelgroup / cmsgen

Azgmohammadd / LatexToCNF

Xiaowhite7 / Hust_SAT_sudo

ZaydH / spur

maxtuno / problem-solving-book

maxtuno / SLIME

fmonaco96 / sfc-k8s

jakublevy / glucose-win

maxtuno / SATX

meelgroup / breakid

cncf / cnf-wg

j-danner / 2xnf_sat_solving