An advanced SAT solver
Simple Theorem Prover, an efficient SMT solver for bitvectors
ARCHIVED: 🧪🛏️Cloud-native Network Function (CNF) Testbed --> See LFN Cl...
4G/5G Mobile Core User Plane
An automatic theorem prover in OCaml for typed higher-order logic with e...
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 Ku...
5G Telco Lab based on OpenShift
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-n...
Probabilistic Context Free Grammar (PCFG) Library for C#
# CNF Working Group (WG) is now part of the Cloud Native Telcom Initiati...
CNF Test Suite is now part of the Cloud Native Telcom Initiatives Test C...