See for code difference
https://git.trs.css.i.nagoya-u.ac.jp/Naps/naps/-/compare/master...verbose?from_project_id=12
節数のカウントで単位節数をまとめて足し合わせておりました.修正し,正しい説数が出力されることを確認しました.
Hidetomo Nabeshima (eb63314e) at 05 Sep 07:17
Fix miss counting of clauses in toDimacs
手頃な問題がなかったため動作確認が取れてません.動作確認後,適宜マージをお願いいたします.
branch 'dev-reduced-cnf' を作成し,以下の修正を行いました.
Hidetomo Nabeshima (1decff83) at 04 Sep 03:08
Add out_max to toDimacs to output the reduced cnf which does not co...
... and 1 more commit