Compilare: user.cpp: In member function ‘bool SAT::solve()’: user.cpp:67:39: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] for (i = 0; i < comp.size(); i++) { ^ user.cpp: In member function ‘int SAT::get_color()’: user.cpp:121:17: warning: unused variable ‘i’ [-Wunused-variable] int i; ^ user.cpp: In function ‘int main()’: user.cpp:169:36: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result [-Wunused-result] freopen("alladin.in","r",stdin); ^ user.cpp:170:38: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result [-Wunused-result] freopen("alladin.out","w",stdout); ^ user.cpp:172:26: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] scanf("%d%d", &n, &m); n = m = 1000; ^ user.cpp:175:36: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] scanf("%d", &mat[i][j]); rez[i][j] = mat[i][j] = 0; ^