constraint logic fuzzing