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