Interval_minefield (Interval, Real);
void add_forbidden_interval (Interval forbidden);
Interval feasible_placements ();
void solve ();
Interval_minefield (Interval, Real);
void add_forbidden_interval (Interval forbidden);
Interval feasible_placements ();
void solve ();