Generate a logic problem. Model it as a binary constraint satisfaction problem (CSP). Choose a backtracking search algorithm. Watch the CSP get solved.

Summary repo form AI labolatories. Contains CSP problem solver, checkers engine with Minimax alpha beta player ..