Aims to implement some of the proofs in https://erikdemaine.org/papers/ThinTetris_JIP/paper.pdf, with some modified definitions
Aims to implement some of the proofs in https://erikdemaine.org/papers/ThinTetris_JIP/paper.pdf, with some modified definitions