生成したCNFファイルのヘッダの不具合

最新版(b259780d)の不具合です。

autocorr_bern20-03.lin.opb をCNFへ変換したとき、CNFファイルのヘッダp cnf 73 90の部分の変数の数(73)が実際に現れる数(74)と異なっています。

CNFファイルは以下のように生成しました。

% ./naps_bignum_static ./autocorr_bern20-03.lin.opb -cnf=foo.cnf