The Constraintware project focuses on the automated synthesis of
high-performance Constraint Solvers from formal requirements-level
specifications. Kestrel has developed novel algorithm theories to formalize and
mechanize the essential concepts underlying modern constraint solvers, including
constraint propagation, conflict-driven backtracking and learning, and restarts.
Current work focuses on the generation of high-performance concurrent solvers
for multi-core machines.