If you're looking for objective metrics, such as GitHub stars, commit rates, contributor counts, StackOverflow question count and other usage statistics, libhunt covers constraint solvers at least for Java:
Warning: objective metrics don't tell the entire story.