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
Jun 3, 2023 - C++
#
cnf-encoding
Here are 4 public repositories matching this topic...
A Free World Class High Performance SAT Solver
-
Updated
Jul 12, 2021 - JavaScript
Transformer of propositional logic expressions to CNF and DNF
-
Updated
May 1, 2018 - Haskell
-
Updated
Jun 7, 2020 - Jupyter Notebook
Improve this page
Add a description, image, and links to the cnf-encoding topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cnf-encoding topic, visit your repo's landing page and select "manage topics."