An advanced SAT solver
-
Updated
Feb 20, 2022 - C++
#
cnf
Here are 88 public repositories matching this topic...
Simple Theorem Prover, an efficient SMT solver for bitvectors
-
Updated
Mar 9, 2022 - 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.
prototype
experimental
ocaml
computer-science-algorithms
logic
polymorphism
cnf
superposition
saturation
induction
symbolic-computation
prover
rewriting
-
Updated
Mar 4, 2022 - OCaml
agentpoyo
commented
Jul 21, 2021
Describe the solution you'd like
There are SKIPPED tests missing the default
Additional context
These are the current tests missing or have the wrong emoji, ex.
Experimental minisat SAT solver reimplementation in Rust
-
Updated
Aug 10, 2019 - Rust
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Sep 13, 2021 - C++
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
nodejs
parser
typescript
graph
regex
pda
cnf
nfa
automaton
dfa
cfg
earley-parser
cyk-algorithm
finite-automata
nfa-to-dfa-conversion
epsilon-nfa
ll1-parser
lr1-parser
-
Updated
Feb 26, 2022 - TypeScript
Probabilistic Context Free Grammar (PCFG) Library for C#
parser
grammar
cnf
parse-trees
context-free-grammar
parse-forests
earley
parsing-algorithm
cyk
random-grammars
-
Updated
Sep 12, 2018 - C#
5G Telco Lab based on OpenShift
-
Updated
May 5, 2021 - Shell
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.
-
Updated
Mar 21, 2021 - C++
A Free World Class High Performance SAT Solver
-
Updated
Jul 12, 2021 - JavaScript
Basic constraint transformation library
-
Updated
Mar 27, 2018 - Java
A simple compiler for parsing java codes and get syntax errors with CYK algorithm for context free grammars (CFG)
java
parser
compiler
javafx
synthesis
cnf
cfg
context-free-grammar
cyk
java-language
syntax-error
light-parser
easy-parser
-
Updated
Aug 2, 2018 - Java
High-level interfaces over @msoos's CryptoMiniSat.
-
Updated
Aug 6, 2021 - Python
SAT-solver based on resolution method in 2-CNF using PLY
-
Updated
Jan 31, 2020 - Python
Problem Solving: A Practical Workbook
-
Updated
Nov 8, 2019 - Jupyter Notebook
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
-
Updated
Sep 25, 2021 - C++
Python program to convert a Context Free Grammar to Chomsky Normal Form.
python
context-free
cnf
chomsky
cfg
context-free-grammar
context-free-language
context-free-grammars
-
Updated
Jun 30, 2020 - Python
SAT-X is a language for constrained optimization and decision problems over positive integers, that work with any SAT Competition standard SAT solver. Is based on Python, and is ase to learn and easy to use with all technologies associated to this language.
-
Updated
Nov 8, 2021 - Python
Transformer of propositional logic expressions to CNF and DNF
-
Updated
May 1, 2018 - Haskell
Compile MiniSat to WebAssembly using emscripten
-
Updated
Jan 15, 2020 - C++
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
-
Updated
Mar 11, 2020 - C++
A query audit plugin for MySQL.
-
Updated
Sep 18, 2021 - C
eNFA - NFA, DFA - DFA minimization, CNF and CKY
-
Updated
Aug 25, 2021 - Python
study
pda
cnf
chomsky
dfa
cfg
earley-algorithm
context-free-grammar
cyk-parser
dpda
sequence-generation
cnf-grammer
cyk-algorithm
-
Updated
Jun 29, 2020 - Rust
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."
The
p4rt_translator.godefines many functions that are used to create a P4 table entry. They are not unit-tested yet. We should improve the test coverage by implementing a unit test for each of these functions.