Encoding Cryptographic Functions to SAT Using Transalg System
An Extensible SAT-solver