Kitsune is a software aiming at solving digit problems of a famous television game show called "Countdown" in England and "Les chiffres et les lettres" in France.
It allows you to solve a problem of your choice or to train yourself with random problems. Facing a problem, Kitsune will find all the different solutions. If the problem is not solvable, it will put up the best approximations.
Homepage: http://kitsune.tuxfamily.org