#include "variables.hpp"

#ifdef _VARS
std::ostream& var_defs_stream = cerr;
#endif

#include "variables.hpp"

#ifdef _VARS
std::ostream& var_defs_stream = cout;
#endif

Print variable debug output to stdout
sat-solver: Print variable debug output to stdout

Printing them to stderr makes it hard to see them in the context of
regular program output when piping usually to "grep" or "less").
