Hola a todos:
Tengo una duda que no me permite avanzar, ojala me puedan orientar.
Tengo que ejecutar un programa llamado otter (un demostrador de teoremas basado el lógica de primer orden) al cual le paso dos parámetros archivo.in que es el archivo de entrada y archivo.out que es nombre que tendra el archivo de salida. Desde línea de comandos se hace así:
c:\otter <archivo.in> archivo.out
pero requiero hacer lo mismo pero desde Delphi, como puedo hacerlo?
ya lo intente con WinExec y con ShellExecute, pero no lo he logrado. Agradecería muchisimo si alguien puede orientarme.