Hacker News new | ask | show | jobs
by chaisan 85 days ago
nice. EDA indeed one of the top applications of SAT