The following commands allow you to open external files for reading/writing and to manipulate them by putting/getting values from/to SMT scripts.
In this chapter
CLOSE
OPEN
OUTPUT
INPUT
EXEC
FILE_EXIST
