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)