Hacker News new | ask | show | jobs
Development a SMT solver-based code generator for specialized processors (rdcu.be)
1 points by richard_shelton 1459 days ago