One of the cited references is Guillermo Webster — and while the article lists uncmin as the desired artifact, the project that uncmin was developed for takes t

One of the cited references is Guillermo Webster — and while the article lists uncmin as the desired artifact, the project that uncmin was developed for takes the concept beyond layout to back solving for desired program outputs. Carbide [0] is the project that encapsulated some of this in a workable demo. It’s really cool! [0] https://alpha.trycarbide.com/ https://alpha.trycarbide.com/