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

• 

  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

サインインしてコメントを残してください。