A constraint-based random number generater for use in games