1.1. First Encounter with the Logic Mazes

One day, an E-mail was sent to a mailing list I am a member of, refering to the "Theseus and the Minotaur" maze. (Originally at Oriel Maxime's Homepage)
It took me two sessions in front of the computer, in each one spending several hours there, in order to solve it.
Then I wondered: can a computer solve it as well?