Optimizing production of a cardboard toy using SAT-solveryurichev.com38 points·dennis714··0 commentsOpen articleSaveView on HN