Extending SAT Solvers to Cryptographic Problems
An Extensible SAT-solver