flatzinc → gecode Relation

File in test/flatzinc	Includes file in gecode
blackbox.cpp	flatzinc / blackbox-backend.hh
on_restart_last_val_int.cpp	flatzinc / restart-random.hpp