Popular repositories Loading

1. Diagapeyev-Cipher-Solver Diagapeyev-Cipher-Solver Public

   Heuristic optimization framework for the Diagapeyev Cipher.

   Python

2. rado-226 rado-226 Public

   R_4(2(x-y)=3z)=226: SAT cube-and-conquer computation with DRAT proof check

   Python

3. rado-ab rado-ab Public

   Rado numbers of a(x-y)=bz: two preprints (a<b, three colours; four-colour values 461, 741, 1501), programs and results

   Python