rql #159002 fails to build against gecode 4 [resolved]
priority | normal |
---|---|
type | bug |
done in | 0.31.4 |
load | 0.200 |
load left | 0.000 |
closed by | #0f967bf3a5de Fix build against gecode 4.0.0 |
patch | Fix build against gecode 4.0.0 [applied] |
attachment
priority | normal |
---|---|
type | bug |
done in | 0.31.4 |
load | 0.200 |
load left | 0.000 |
closed by | #0f967bf3a5de Fix build against gecode 4.0.0 |
patch | Fix build against gecode 4.0.0 [applied] |