1
see the
Logic Solver Reference Manual