GitHub topics: cryptominisat
nahiyan/cryptanalysis
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.
Language: C++ - Size: 2.75 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
EdwardMMiner/Crypto-Miner-Kovak
Crypto Miner Kovak- 024
Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
cipherboy/cmsh
High-level interfaces over @msoos's CryptoMiniSat.
Language: Python - Size: 357 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0
Lipen/kotlin-satlib
🗿 SAT solver wrappers for Kotlin
Language: Kotlin - Size: 1.41 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 2
deepuhifi/RSAT
RSAT
Language: Python - Size: 11.7 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
GabrieleMaurina/sudoku-sat
A c++ sudoku solver based on Cryptominisat
Language: C++ - Size: 9.77 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
masc-ucsc/cryptominisat Fork of msoos/cryptominisat
An advanced SAT Solver
Language: C++ - Size: 52.6 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
