cnf
Here are 130 public repositories matching this topic...
📞📱☎️📡🌐 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
Sep 3, 2024 - Mustache
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
-
Updated
Sep 3, 2024 - Rust
An advanced SAT solver
-
Updated
Aug 29, 2024 - C++
Builds random configurations/models using a CNF and installation rates
-
Updated
Aug 24, 2024 - Java
Search engine for Rules - Indexing boolean expressions at scale
-
Updated
Aug 21, 2024 - Java
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
-
Updated
Aug 19, 2024 - Go
A curated list of Telco Cloud ecosystem projects and resources ☁️
-
Updated
Aug 17, 2024
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
-
Updated
Aug 14, 2024
Utilizies the harmonic properties of a CNF formula and by using Fourier Series approximations converts it into a mathematical formula.
-
Updated
Aug 3, 2024 - Python
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Jul 23, 2024 - C++
Generator for CNF'S considering the variance by using model counting with #sat
-
Updated
Jul 19, 2024 - Java
Bootstrap a Kubernetes cluster from scratch, the Ansible way.
-
Updated
Jul 17, 2024 - Jinja
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Jul 16, 2024 - C++
BreakID, a CNF symmetry-breaking library and tool
-
Updated
Jul 15, 2024 - C++
Structured BVA CNF rewriter
-
Updated
Jul 14, 2024 - C++
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."