Constraintware Project

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.