[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0
|
From: |
Andreas Enge |
|
Subject: |
[bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0. |
|
Date: |
Wed, 15 May 2024 14:39:55 +0200 |
Am Wed, May 15, 2024 at 02:06:50PM +0200 schrieb Andreas Enge:
> One solution would be to downgrade gecode to the commit that you provided
> and tested minizinc with.
I have done just this; now minizinc compiles and solves the magic square
example. I have also modernised the gecode package definition using gexps.
Andreas