Minisat+ variable ordering

60 views

Skip to first unread message

Frank

unread,

Mar 26, 2018, 9:00:01 PM3/26/18

to MiniSat

When Minisat+ is called with -cnf, how do variables in the .cnf encoding map to variables in the .opb file? I assume variables 1 through n correspond to x0 through x(n-1) in the .opb, is this correct?

Thanks,

Frank

unread,

Mar 26, 2018, 9:02:58 PM3/26/18

to MiniSat

Sorry, I forgot to add a detail: I have just one opb inequality.

Reply all

Reply to author

Forward

0 new messages