1see the Logic Solver Reference Manual