ECLAIR

Expressing Constraints with a Library of Algorithms for Inference and Resolution

A library for constraint programming and discrete optimization, for use with CLAIRE.