Crypto-TII/constrain-solvers-comparison_of_bit-oriented_primitives

A repository with the scripts to reproduce the results of the paper "Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives".

Sage