Skip to content

Add out_max to toDimacs to output the reduced cnf which does not contain unassigned variables larger than out_max

Hidetomo Nabeshima requested to merge dev-reduced-cnf into master

手頃な問題がなかったため動作確認が取れてません.動作確認後,適宜マージをお願いいたします.

Merge request reports

Loading