Does Gorubi support CNF format?

Answered

Zhenchen Liao

November 11, 2022 15:17

• 
• 
• 

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

Bests,

 

0

• Official comment

  

  Simranjit Kaur

  • Gurobi Staff

  November 16, 2025 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

  November 15, 2022 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

Post is closed for comments.