Generic "solve.sh" script, takes a single argument which is the name of the input .vrx formatted file.