SLOTHY: Assembly Optimization via Constraint Solving | Hacker News Reader