cnfgen
cnfgen copied to clipboard
Do not display a warning when shuffling a file passed through -i
Currently calling cnfshuffle -i file.cnf
prints a warning saying that it is waiting for a DIMACS file on stdin, even though it received the input correctly and it is working on it. This causes confusion on large inputs. This patch disables that warning when the input comes from a file, while keeping it when reading from stdin.