Hey a question,
In my .sh, I've use a solve command, which solves a problem and output it to the terminal.
But I need away to save the output into a txt file, to parse through it....
The solve command output first line is Satisfiable or Unsatisfiable and then the answer on the next lines.
Any ideas on how to do this through in a shell script
Sorry guys, two days in row I've asked something, but messed up a small thing which I now see.
Topic can be closed