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