Ricochet Robots

Studying the performance of logic tools on solving a specific problem can bring new insights on the use of different paradigms. This …