Merge branch 'VERIPB2' into 'master'

Add support for veripb in CP based solvers

See merge request !9
2 jobs for master in 48 minutes and 2 seconds (queued for 8 seconds)