Merge branch 'VERIPB2' into 'master'
Add support for veripb in CP based solvers See merge request !9
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | maven38-java11 |
#65934
|
00:19:47
|
|
|||||
| Test | |||||||||
| passed | maven38-java16 |
#65935
|
00:18:36
|
|
|||||
Add support for veripb in CP based solvers See merge request !9
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | maven38-java11 |
#65934
|
00:19:47
|
|
|||||
| Test | |||||||||
| passed | maven38-java16 |
#65935
|
00:18:36
|
|
|||||