🗿 SAT solver wrappers for Kotlin
-
Updated
Mar 2, 2024 - Kotlin
#
cryptominisat
Here are 9 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 12, 2026 - C++
🎲 Automated python Sudoku solver using SAT solvers
-
Updated
Jul 2, 2026 - Python
Certified frame-first SAT middleware — decide structured regions (2-SAT · GF(2) parity · counting) before CDCL, and independently verify every verdict (model replay · DRAT). A research harness for where SAT hardness lives.
python lambda-calculus sat-solver formal-verification drat computational-complexity boolean-satisfiability proof-checking satisfiability cdcl cryptominisat constraint-solving kissat nullstellensatz certified-solving resolution-width
-
Updated
Aug 29, 2026 - Python
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++
Add this topic to your repo
To associate your repository with the cryptominisat topic, visit your repo's landing page and select "manage topics."