Decrypt: DEclarative approach for symmetric CRYPTography

The goal of Decrypt project is to ease the design of symmetric primitives by providing tools that allow cryptographers to

1. easily model combinatorial problems they need to solve by using high-level constraint-based languages, instead of implementing complicated algorithms;
2. efficiently solve these problems by using CP solvers that should scale better than dedicated approaches;
3. provide guarantees on the solutions computed by these solvers; and
4. provide explanations of the results computed by CP solvers that may be used to build human-readable proofs.