Does Gorubi support CNF format?

回答済み

Zhenchen Liao

2022年11月11日 15:17

• 
• 
• 

May I ask if Gurobi can output CNF or GCNF or SMT2 format file?

Bests,

 

0

• 正式なコメント

  

  Simranjit Kaur

  • Gurobi Staff

  2025年11月16日 23:25

  This post is more than three years old. Some information may not be up to date. For current information, please check the Gurobi Documentation or Knowledge Base. If you need more help, please create a new post in the community forum, or try Gurobot, our chatbot interface offering instant, expert-level support.
• 

  Jaromił Najman

  • Gurobi Staff

  2022年11月15日 08:46

  Gurobi currently does not support CNF, GCNF, and SMT2 formats.

  We will discuss and consider adding these formats in a future release.

  Best regards, 
  Jaromił

  0

投稿コメントは受け付けていません。