Tool to help solving mathler-like games.
It all started on a discussion in fr.sci.math (on usenet).
This tool was ported from PROLOG to C thank to the wonderful CBack library by K. Helsgaun published in Softw. pract. exp., Vol. 25, No. 8, 1995 (pp. 905-934).