This blog post talks about the Talos Principle puzzle solver I wrote to help solve the Sigil puzzles.