cnf-encoding

There are 0 repository under cnf-encoding topic.

vsklad / cgen
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.
dimacs cnf sha-1 cnf-encoding sha1 sha256 sha2 satisfiability hash-functions cryptography sat
Language:C++ 21
slime-sat-solver
maxtuno / slime-sat-solver
A Free World Class High Performance SAT Solver
sat sat-solver satisfiability cnf cnf-clauses cnf-encoding
Language:JavaScript 20
Average-user / LEC
Transformer of propositional logic expressions to CNF and DNF
logic haskell cnf cnf-encoding
Language:Haskell 4
dchandak99 / SAT_Solvers
backtracking dpll-algorithm cnf-encoding sat-solving z3
Language:Jupyter Notebook

vsklad / cgen