Raspberry Pi Logic solver