This section of the document contains information that is mostly identical for both SLS 1508 and CHARMs Smart Logic Solver SIS systems. There may be some information which is slightly different between the two systems. Those differences are explicitly noted within the text.