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)