GitHub repository: karenepetrie/csplib
Primary language: Prolog
Description: A benchmark library for constraints