Is your feature request related to a problem? Please describe.
Sometimes, we do not care about all the counterexamples. Only 1 is enough. Waiting for all counterexamples can be slow, and stopping the process in the middle will segfault
Describe the solution you'd like
Allow the user to specify how many counterexamples they want, and immediately stop if that condition is satisfied
Is your feature request related to a problem? Please describe.
Sometimes, we do not care about all the counterexamples. Only 1 is enough. Waiting for all counterexamples can be slow, and stopping the process in the middle will segfault
Describe the solution you'd like
Allow the user to specify how many counterexamples they want, and immediately stop if that condition is satisfied
Describe alternatives you've considered
Ctrl+C
(but it will segfault)
Additional context
N/A