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

• 

  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

Please sign in to leave a comment.