THE TALOS PRINCIPLE PLATINUM PUZZLE CODE
THE TALOS PRINCIPLE PLATINUM PUZZLE TRIAL

But with 8Р“вЂ”8 or so frames, the number of combinations simply explodes to above several million, which brings my harddrive size and z3 to an end. So if a sigil occupies 4 tiles, then every combination of 5 tiles needs to evaluate to false. First I thought I want to express that every sigil is used exactly once by excluding that for one sigil there are more fields assigned to it then the sigil contains parts. This can be achieved by asserting for each tile and each pair of different sigil (numbers), that not both of the two hold:

THE TALOS PRINCIPLE PLATINUM PUZZLE CODE

In the SMT2 code it would look like (assert (or x_i_j_1 x_i_j_2. Let us go through them one by one: Every field has at least on sigil on it defining equations for the sigilРІР‚в„ўs form.every field has at most one sigil on it.every field has at least one sigil on it.We have to state relations between these propositional variables to obtain a proper solution, in particular we have added the following statements: I have written a perl program that for a definition of a puzzle (see later), outputs SMT2 code, which then is checked for satisfiability and generation of model with the z3 solver (which is available in Debian). That is, we have variable (encoded as x_i_j_n) where runs over the cells of the frame, and over the (numbered) sigils. I used a propositional encoding that for each combination of cells and sigils assigns a propositional variable, which is true if the specific sigil rests in on that cell in the final solution. On the other hand, solving these fitting puzzles drove me crazy, so let us solve them with a SAT solver. Of course, collecting the sigils is the most challenging part, but that is often solvable by logical thinking. In the Talos Principle, access to new worlds and specific items is often blocked by gates that open by putting Sigils into the frame.

THE TALOS PRINCIPLE PLATINUM PUZZLE TRIAL

As a logician I hate to solve something by trial and error, so I decided I write a solver for these kind of puzzles, based on a propositional logic encoding and satisfiability solver. And soon I got stuck at these kind of puzzles where one has to fit in pieces into a frame. After my last post on Portal, there was a sale of The Talos Principle, so I got it and started playing.

The talos principle platinum puzzle