solver for the cube puzzle swag we received
currently requires that the input model be programmatically created in Main. better i/o (possibly web-based) maybe coming?
here's a document about it: https://docs.google.com/document/d/1D7jKzaMoVP6KNJ_tGDELoW7mh1kOeDycSDWlpUUOVFs/edit?usp=sharing