High-level interfaces over @msoos's CryptoMiniSat.
-
Updated
Mar 14, 2024 - Python
#
cryptominisat
Here are 6 public repositories matching this topic...
🗿 SAT solver wrappers for Kotlin
-
Updated
Mar 2, 2024 - Kotlin
A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.
sat-solver
boolean-algebra
glucose
march
cryptominisat
cadical
cdcl-solver
kissat
lookahead-solver
cube-and-conquer
maplesat
-
Updated
Aug 2, 2024 - C++
RSAT
cryptanalysis
rsa
minisat
sat
rsat
cryptominisat
logical-cryptanalysis
algebraic-cryptanalysis
toughsat
-
Updated
Aug 2, 2023 - Python
A c++ sudoku solver based on Cryptominisat
-
Updated
Jun 2, 2020 - C++
Improve this page
Add a description, image, and links to the cryptominisat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cryptominisat topic, visit your repo's landing page and select "manage topics."