Encoding Cryptographic Functions to SAT Using Transalg System
A tool for checking ANSI-C programs