Solver flags

⌘K
  1. Home
  2. Docs
  3. Solver flags
  4. Exit flags

Exit flags

The solver can print the following exit status messages to the solution (.octsol) file upon termination:

  • Global_Solution_Status_Undefined
  • Solved_To_Global_Optimality
  • Proved_Global_Infeasibility
  • Found_Solution_For_CS_Problem (CS stands for constraint satisfaction)
  • Timeout_With_Feasible_Solution
  • Timeout_Without_Feasible_Solution
  • Interrupted_With_Feasible_Solution
  • Interrupted_Without_Feasible_Solution
  • Iteration_Limit_With_Feasible_Solution
  • Iteration_Limit_Without_Feasible_Solution
  • Node_Limit_With_Feasible_Solution
  • Node_Limit_Without_Feasible_Solution
  • Memory_Limit_With_Feasible_Solution
  • Memory_Limit_Without_Feasible_Solution
  • Found_Feasible_Solution
  • Catastrophic_Error
  • Parsing_Error