Is there a reference for the Tanyam solver? I am unfamiliar with it, and don't see it online or in the paper
Activity