GitHub repository: nightmarra/u-quark-SMT-cryptanalysis
Primary language: Python
Description: Kód prvej časti môjho ročníkového projektu (2024/25) "Použitie SMT/SAT solverov pre automatickú kryptoanalýzu".