OKlib::Cryptanalysis Namespace Reference

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

---

Detailed Description

Components for cryptanalysis via (generalised) SAT.