A very useful and simple algorithm that gives you the capacity to search for all solutions cases to constrain satisfaction problems in a deep first tree way. - View it on GitHub