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)
Status Name Job ID Coverage
  Build
passed maven38-java11 #65934

00:19:47

 
  Test
passed maven38-java16 #65935

00:18:36