A Clp Engine for a General Purpose Configuration Tool