Visual Interface for playing EF games and exploring logic