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
5G Telco Lab based on OpenShift
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.
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Probabilistic Context Free Grammar (PCFG) Library for C#
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
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.
Experimental minisat SAT solver reimplementation in Rust
Search engine for Rules - Indexing boolean expressions at scale
Basic constraint transformation library
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
CMSGen, a fast weighted uniform-like sampler
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."