Add JaCoP solver interface.
Break line.
Correct expression API.