A benchmark library for constraints