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

00:27:41

 
  Test
passed maven38-java16 #65847

00:20:20