cnf topic

High-level interfaces over @msoos's CryptoMiniSat.

cipherboy

An advanced SAT solver

msoos

Probabilistic Context Free Grammar (PCFG) Library for C#

ellisonch

Simple Theorem Prover, an efficient SMT solver for bitvectors

stp

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

cncf

📞📱☎️📡🌐 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

cnti-testcatalog

4G/5G Mobile Core User Plane

omec-project

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, claus...

sneeuwballen

Experimental minisat SAT solver reimplementation in Rust

mishun

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

Reinforz