Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 20 Cnf Open Source Projects

Open source projects categorized as Cnf
Categories > Cnf
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 5 months ago
Stp ⭐ 477
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 6 months ago
Cnf Testsuite ⭐ 160
📞📱☎️📡🌐 CNF Test Suite is a tool to check for and provide feedback on the use of K8s + cloud native best practices in networking applications and platforms.
most recent commit 5 months ago
Upf ⭐ 156
4G/5G Mobile Core User Plane
total releases 36most recent commit 2 months ago
Cnf Testbed ⭐ 137
🧪🛏️Cloud-native Network Function (CNF) Testbed
most recent commit 3 years ago
Zipperposition ⭐ 118
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.
most recent commit 6 months ago
Bosphorus ⭐ 56
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
most recent commit 10 months ago
Minisat Rust ⭐ 51
Experimental minisat SAT solver reimplementation in Rust
most recent commit 5 years ago
Meridio ⭐ 44
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
dependent packages 2total releases 45most recent commit 3 months ago
Fauton ⭐ 37
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
dependent packages 2total releases 9most recent commit 2 years agonpm fauton} Downloads
Cfglib ⭐ 29
Probabilistic Context Free Grammar (PCFG) Library for C#
most recent commit 6 years ago
Cgen ⭐ 21
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.
most recent commit a year ago
Slime Sat Solver ⭐ 13
A Free World Class High Performance SAT Solver
most recent commit 3 years ago
Chomsky Normal Form ⭐ 12
Convert a Context Free Grammar (CFG) to Chomsky Normal Form (CNF)
most recent commit 10 years ago
Arjun ⭐ 8
CNF minimizer and minimal independent set calculator
most recent commit 8 months ago
Quine Mccluskey ⭐ 7
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
most recent commit 7 months ago
Cmsh ⭐ 6
High-level interfaces over @msoos's CryptoMiniSat.
most recent commit 3 years ago
Awesome Telco Cloud ⭐ 6
A curated list of Telco Cloud ecosystem projects and resources ☁️
most recent commit 7 months ago
K8s_5g_lab ⭐ 5
5G Telco Lab based on OpenShift
most recent commit 3 years ago
Java Language Parser ⭐ 5
A simple compiler for parsing java codes and get syntax errors with CYK algorithm for context free grammars (CFG)
most recent commit 6 years ago
The 3 Most Depended On Cnf Open Source Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 5 months ago
Fauton ⭐ 37
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
dependent packages 2total releases 9latest release November 20, 2021most recent commit 2 years agonpm fauton} Downloads
Meridio ⭐ 44
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
dependent packages 2total releases 45latest release November 22, 2023most recent commit 3 months ago
The 4 Latest Releases In Cnf Open Source Projects
Meridio ⭐ 44
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
dependent packages 2total releases 45latest release November 22, 2023most recent commit 3 months ago
Fauton ⭐ 37
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
dependent packages 2total releases 9latest release November 20, 2021most recent commit 2 years agonpm fauton} Downloads
Upf ⭐ 156
4G/5G Mobile Core User Plane
total releases 36latest release April 25, 2021most recent commit 2 months ago
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 5 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.