Invoking SAW

Warning

This section is under construction!

There are three ways to run saw. The most common is to provide the name of a SAWScript file to run: saw proofs.saw. If you leave the file name off, or give the -I option, SAW will start an interactive read-eval-print loop (“REPL”). It is also possible to use the -B (“batch”) option to pass a file of REPL commands to run. This allows automated use of the REPL’s :-commands.

See the REPL reference for additional details about the saw executable and its options.