The drools solver manual has also been expanded with more info about the examples:
Take a look at the updated manual here.
The manual now contains some insight about the problem size of the examples. Did you know that the traveling tournament example nl16 finds a feasible solution out of 2,45064610271441678267620602e+259 possible solutions?
And of course I ‘ve added some more eye candy: