JuMP Termination_status category

Nope. It’s just an enum, so you’ll need to explicitly handle the different cases.