Merge branch 'VERIPB2' into 'master'

Add support for veripb in CP based solvers

See merge request !9
2 jobs for set-sast-config-2 in 38 minutes and 24 seconds (queued for 12 seconds)