Pazzaz

Play this game by pasting the script in http://www.puzzlescript.net/editor.html

Pazzaz

Play this game by pasting the script in http://www.puzzlescript.net/editor.html

Pazzaz

Play this game by pasting the script in http://www.puzzlescript.net/editor.html

Pazzaz

Play this game by pasting the script in http://www.puzzlescript.net/editor.html

Pazzaz

Play this game by pasting the script in http://www.puzzlescript.net/editor.html

Pazzaz

SO YOU WANT TO ESCAPE FROM YOUR LAIR? WELL JUST FOLLOW THESE INSTRUCTIONS
00000
00000
00000
00000
00000
11111
00001
00000
00011

Pazzaz

import Data.List
import Data.Maybe

-- Part 1
data SET a = Empty
           | Union (SET a) (SET a)
           | Intersection (SET a) (SET a)
           | Singleton (SET a)
           | Var a

Pazzaz

ply
format ascii 1.0 
element vertex 156849          
property float x         
property float y        
property float z       
property uchar red
property uchar green
property uchar blue
property uchar alpha

Pazzaz

ply
format ascii 1.0 
element vertex 156849          
property float x         
property float y        
property float z       
property uchar red
property uchar green
property uchar blue
end_header

Pazzaz

// Compile with
// $ cargo build --release
//
// Then get a description of the problem in the SMT-LIB format
// $ ./target/release/{binary_name} 14 > out
//
// then get the solution
// $ z3 out -v:1

use num::integer::binomial;