1see Reference Manual of the Logic Solver