Learning Logic, Search and Cracking through a Number Guessing Game. ICCE 2018.