OKlibrary  0.2.1.6
OKlib::Cryptanalysis Namespace Reference

Components for cryptanalysis via (generalised) SAT. More...


Detailed Description

Components for cryptanalysis via (generalised) SAT.