constrainedrandom (pypi): A library for creating and solving constrained randomization problems
Keywords: constrained|constraint|random|randomization|verification