logoalt Hacker News

chaisan • today at 3:43 AM • 0 replies • view on HN

nice. EDA indeed one of the top applications of SAT