This manual assumes that you are familiar with the UNIX or PC environment in which you are going to use Solver Debugger, including its particular windowing system.