1.
voir le
Manuel de r
éf
érence du Logic Solver