#ifndef __FORENSICS_UTIL_HH__
#define __FORENSICS_UTIL_HH__

#include "forensics-gecode.hh"


bool file_exists (const char* file_name);
void clear_file (const char* file_name);
void showIntVarRanges (Gecode::IntVar x);
void showIntSetRanges (Gecode::IntSet x);
void print_statistics (std::ostream& os, const Gecode::Search::Statistics& stat);

#endif
