ParentFull threadthesmtsolver2·Wasn’t it originally in NYT? Yeah, don’t expect much from NYT nowadays.View on HN