- 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)
- HN: Constraint Programming
- Slothy - Assembly Optimization via Constraint Solving.
- hakank - Combinatorial problems and puzzles code.