Rodrigo Fuentes
-
Gurobi Staff
- Total activity 24
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 5
- Subscriptions 10
Articles
Recent activity by Rodrigo Fuentes-
How do I terminate Gurobi with SIGINT?
When an interrupt request (ctrl-c) is sent to a Gurobi command line process (gurobi_cl), Gurobi will generally: terminate the process prematurely (Interrupt Request Received) and report the curren...