/XoodooSat

a SAT-based automatic search toolkit to search for 2-round, 3-round, and 4-round differential/linear trail cores of Xoodoo.

Primary LanguageC++MIT LicenseMIT

Stargazers