Kitsune est un logiciel destiné à résoudre les problèmes de chiffres d’une célèbre émission de télévision. Il permet de résoudre un problème de votre choix, ou de vous entraîner avec des problèmes aléatoires.

Etant donné un problème, Kitsune fournit toutes les solutions, en essayant autant que possible de ne pas afficher plusieurs solutions équivalentes (celles dont la structure paraît similaire au joueur humain) : si le problème est soluble, il affiche toutes les façons d’obtenir le bon compte. Si le problème n’est pas soluble, il affiche les meilleures approximations.

Kitsune permet accessoirement d’obtenir un certain nombre de résultats statistiques sur ce jeu : saviez-vous qu’un problème pris au hasard a 93,7% de chances d’être soluble ?