Choice point limit
Type : Integer
Range : {0..2100000000}
Default : 2100000000
This option limits the number of choice points that are created before terminating a search.
Type : Integer
Range : {0..2100000000}
Default : 2100000000
This option limits the number of choice points that are created before terminating a search.
Help & Feedback
Edit this page to fix an error or add an improvement in a pull request
Create an issue to suggest an improvement to this page
Create a topic if there's something you don't like about this feature
Propose functionality by submitting a feature request
Not what you where looking for? Search the docs
Remember we also have Community support
Still having trouble ? Reach out to us