Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for cnf
cnf
x
20 search results found
Cryptominisat
⭐
767
An advanced SAT solver
Stp
⭐
477
Simple Theorem Prover, an efficient SMT solver for bitvectors
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.
Upf
⭐
156
4G/5G Mobile Core User Plane
Cnf Testbed
⭐
137
🧪🛏️Cloud-native Network Function (CNF) Testbed
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.
Bosphorus
⭐
56
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Minisat Rust
⭐
51
Experimental minisat SAT solver reimplementation in Rust
Meridio
⭐
44
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
Fauton
⭐
37
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
Cfglib
⭐
29
Probabilistic Context Free Grammar (PCFG) Library for C#
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.
Slime Sat Solver
⭐
13
A Free World Class High Performance SAT Solver
Chomsky Normal Form
⭐
12
Convert a Context Free Grammar (CFG) to Chomsky Normal Form (CNF)
Arjun
⭐
8
CNF minimizer and minimal independent set calculator
Quine Mccluskey
⭐
7
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
Cmsh
⭐
6
High-level interfaces over @msoos's CryptoMiniSat.
Awesome Telco Cloud
⭐
6
A curated list of Telco Cloud ecosystem projects and resources ☁️
K8s_5g_lab
⭐
5
5G Telco Lab based on OpenShift
Java Language Parser
⭐
5
A simple compiler for parsing java codes and get syntax errors with CYK algorithm for context free grammars (CFG)
Related Searches
Sat Cnf (12)
Sat Solver Cnf (11)
C Plus Plus Cnf (9)
Python Cnf (7)
Cnf Dimacs (6)
C Cnf (5)
Cfg Cnf (5)
Kubernetes Cnf (4)
Grammar Cnf (4)
Context Free Grammar Cnf (4)
1-20 of 20 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.