An easy-to-use, general and open-source tool to solve the guess-and-determine problem
cryptography cryptanalysis python3 milp constraint-programming smt sat groebner-basis minizinc sagemath stream-ciphers blockcipher or-tools pysat sat-solver-application guess-and-determine key-bridging pysmt
-
Updated
Jul 30, 2025 - Python