Chapter 2
Running a First Example

RSolver itself works in text mode. An additional graphical user interface (GUI) is available. For using the GUI, download it and follow the instructions in the files README.WINDOWS (if you are using Microsoft Windows) or README (otherwise).

When starting RSolver without the GUI, it asks for textual input. Some example inputs are included in the distribution. One can avoid to re-type the content of an example file by piping the file content to the program as follows:

In UNIX: Type

  ./rsolver <examples/basic/test1.ap

In Windows: Start the program “command prompt”, change to the directory where the program resides, and type:

  rsolver <examples\basic\test1.ap