🗿 SAT solver wrappers for Kotlin
-
Updated
Mar 2, 2024 - Kotlin
#
cryptominisat
Here are 7 public repositories matching this topic...
Algebraic + neural differential cryptanalysis of reduced-round KeeLoq (2026 modernization of a 2015 SAT-only effort). Full 64-bit key recovery in <1s at 64 rounds via XOR-aware CryptoMiniSat; Gohr-style PyTorch ResNet distinguisher hybrid on CUDA.
python security machine-learning cryptography cryptanalysis cipher reverse-engineering pytorch sat-solver cryptominisat keeloq differential-cryptanalysis gohr neural-cryptanalysis
-
Updated
Apr 23, 2026 - Python
High-level interfaces over @msoos's CryptoMiniSat.
-
Updated
Mar 14, 2024 - Python
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."