An advanced SAT solver
-
Updated
Jul 19, 2024 - C
An advanced SAT solver
Simple Theorem Prover, an efficient SMT solver for bitvectors
📞📱☎️📡🌐 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.
A Free World Class High Performance SAT Solver
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
A curated list of Telco Cloud ecosystem projects and resources ☁️
Python program to convert a Context Free Grammar to Chomsky Normal Form.
SAT-solver based on resolution method in 2-CNF using PLY
Add a description, image, and links to the cnf topic page so that developers can more easily learn about it.
To associate your repository with the cnf topic, visit your repo's landing page and select "manage topics."