An advanced SAT solver

Simple Theorem Prover, an efficient SMT solver for bitvectors

4G/5G Mobile Core User Plane

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

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

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.

Experimental minisat SAT solver reimplementation in Rust

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

Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks

5G Telco Lab based on OpenShift

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

Probabilistic Context Free Grammar (PCFG) Library for C#

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.

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

A Free World Class High Performance SAT Solver

CNF minimizer and minimal independent set calculator

A curated list of Telco Cloud ecosystem projects and resources ☁️

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

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

SAT-solver based on resolution method in 2-CNF using PLY