Exercise your mind with the challenging problem sets at Project Euler. Designed to provide a fun way to introduce new concepts , the frequently asked questions section of Project Euler has this to say ...

SMT solvers, in case you haven't heard about them, let you make assertions over booleans, integers, reals, lists and so on and get satisfying solutions or proofs that they can't be satisfied ...