Dominion -- A constraint solver generator

Open in new window