A framework for step-wise explaining how to solve constraint satisfaction problems

Open in new window