4 stories tagged constraint-solving, newest first.
632 points by mpweiher | 499 comments
Hillel Wayne's Computer Things newsletter post arguing that many hard LeetCode interview problems are easily solved with constraint solvers.
399 points by ge0ffrey | 89 comments
A Timefold blog post in which the founder explains how he built an AI company to sustain his open source planning-solver project.
337 points by todsacerdoti | 47 comments
Hillel Wayne blog post explaining the Picat research language and its planner module for planning-based logic programming.
348 points by polivier | 110 comments
GitHub repository for Factorio-SAT, a Python project that uses SAT solvers to generate optimized Factorio designs such as belt balancers.