[Description] Returns a value that indicates whether the solver should stop. [Name] 
Abort
A b o r t
I t e r a t i o n L i m i t
I t e r a t i o n s T o R e m e m b e r
Q u e r y A b o r t
S o l v i n g
T o l e r a n c e