Links for insideopt-dagopt