Hacker News new | ask | show | jobs
by fnordpiglet 852 days ago
Is it a fools errand if a SAT solver can tell you the optimal belt balancer configuration?