The constraint solver library contains a local search based framework that allows modeling of a problem using constraint programming primitives (variables, values, constraints).