Dominion -- A constraint solver generator