COUNT-CP is a constraint learner that uses a generate-and-aggregate approach to learn CP models - View it on GitHub