How do I launch more than one batch file?

Suppose you have recorded a series of batch files: batch1.txt, batch2.txt, batch3.txt... You can launch these individually, or using a "Batch in Batch" (BIB) file. For example, using the above batch files make up a text file called "batch.bib" consisting of the following lines:

• batch1.txt
• batch2.txt
• batch3.txt
• batch4.txt
• ...

When you choose to run "batch.bib" the solver will then step through each of the listed batch files one by one. The BIB file must be a plain text file. To be safe you can create it using a text editor such as Notepad.