jrcarter /Mine_DetectorAda43The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game