3 ms·Is it a fools errand if a SAT solver can tell you the optimal belt balancer configuration?by fnordpiglet 3y agoIs it a fools errand if a SAT solver can tell you the optimal belt balancer configuration?