Does Z3 incorporate any sort of randomization? #5505
oyendrila-dobe
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Is there any randomization in z3 like choosing the initial values, order of constraints, etc, that might drastically change solving time if run several times on huge number of constraints involving Boolean, integer, real type of variables?
Beta Was this translation helpful? Give feedback.
All reactions