cnf
Here are 123 public repositories matching this topic...
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
-
Updated
May 23, 2024 - Rust
📞📱☎️📡🌐 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
-
Updated
May 27, 2024 - Mustache
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
-
Updated
May 24, 2024 - Go
A curated list of Telco Cloud ecosystem projects and resources ☁️
-
Updated
May 15, 2024
BreakID, a CNF symmetry-breaking library and tool
-
Updated
May 8, 2024 - C++
An advanced SAT solver
-
Updated
May 4, 2024 - C++
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Apr 23, 2024 - C++
Structured BVA CNF rewriter
-
Updated
Apr 19, 2024 - C++
CMSGen, a fast weighted uniform-like sampler
-
Updated
Mar 30, 2024 - C++
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
-
Updated
Mar 30, 2024 - C++
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.
-
Updated
Mar 20, 2024 - OCaml
High-level interfaces over @msoos's CryptoMiniSat.
-
Updated
Mar 14, 2024 - Python
CNF Generator for Factoring Problems
-
Updated
Mar 13, 2024 - Haskell
# CNF Working Group (WG) is now part of the Cloud Native Telcom Initiative @ https://github.com/lfn-cnti/bestpractices
-
Updated
Feb 6, 2024
Improve this page
Add a description, image, and links to the cnf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cnf topic, visit your repo's landing page and select "manage topics."