1
see
Reference Manual of the Logic Solver