Tesseract Implementation in Python This is a prototype to test that our ideas work. Current features: Canonicality checks Forwards exploration Backwards exploration Algorithms: Clique finding Example tree (see slides)