logoalt Hacker News

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

nice. EDA indeed one of the top applications of SAT