Provides an easy way to build crypto-oriented CNF formulas, solve them with an external SAT-solver and use the result thus obtained.