Simplifying Boolean constraint solving for random simulation-vector generation