Constraint programming

Links

• Kiwi - Efficient C++ implementation of the Cassowary constraint solving algorithm.
• Fahiem's reading group - Interested in papers related to various forms of constraint programming.
• OptaPlanner - Constraint solver for optimizing planning and scheduling problems. (HN)
• How to build a constraint solver?
• CPMpy - Constraint Programming and Modeling library in Python, based on numpy, with direct solver access. (Talk)
• LUME Kiwi - Fast TypeScript implementation of the Cassowary constraint solving algorithm, based on the seminal Cassowary paper.
• Conjure - Automated modelling tool for Constraint Programming.
• Nutcracker - Problem solving à la carte.
• Ask HN: Do you use an optimization solver? Which one? Do you like it? (2022)