A signature-based SAT solver for cryptographic instances.
cli cryptography cpu cryptanalysis cplusplus cpp command-line hash command-line-tool hashing-algorithm circuit cnf sat-solver sat command-line-interface cdcl dimacs-cnf dimacs-cnf-format preimage preimage-attack
-
Updated
Sep 7, 2026 - C++