A Front End for OpMiner.