A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
-
Updated
May 23, 2024 - Rust
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
📞📱☎️📡🌐 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
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
A curated list of Telco Cloud ecosystem projects and resources ☁️
BreakID, a CNF symmetry-breaking library and tool
An advanced SAT solver
Simple Theorem Prover, an efficient SMT solver for bitvectors
Structured BVA CNF rewriter
CMSGen, a fast weighted uniform-like sampler
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
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.
High-level interfaces over @msoos's CryptoMiniSat.
CNF Generator for Factoring Problems
# CNF Working Group (WG) is now part of the Cloud Native Telcom Initiative @ https://github.com/lfn-cnti/bestpractices
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."