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