15    const std::string m_module;
 
   16    std::optional<std::string> m_optimizer_name;
 
   17    bool m_is_continuous_relaxation = 
false;
 
   19    JuMP(std::string t_module, 
bool t_is_continuous_relaxation);
 
   21    explicit JuMP(std::string t_module = 
"HiGHS");
 
   23    static JuMP ContinuousRelaxation(std::string t_module = 
"HiGHS");