[Gecode] Gecode on StronARM

[Guido Tack]

Hi!

I successfully cross-compiled Gecode for the StrongARM architecture, and the 
benchmarks on my PDA are really impressive ;-))
I had to change the type of modification events from "char" to "signed char", 
however, to make it compile. I guess this might be an issue on other 
platforms as well, so I think it should be changed  in generic/kernel.hh.

Guido

P.S.: This is the output of "bench.exe". I had to remove the "knights" example 
because it used too much memory...

gecode(
        domain: [
                43190
                43170
        ]
        golomb10_dom: [
                122110
                122190
        ]
        golomb10_bnd: [
                66830
                66930
        ]
        msq_bnd: [
                2999
                3010
        ]
        partition: [
                7823
                7822
        ]
        q10_naive: [
                2869.4
                2870.6
        ]
        q10_smart: [
                974
                974.2
        ]
        q100_smart: [
                132.7
                135.4
        ]
        q100_naive: [
                6160
                6154
        ]
        donald_bnd: [
                19.26
                19.25
        ]
        money_bnd: [
                1.489
                1.489
        ]
        alpha_eq: [
                4537
                4535
        ]
        alpha_lqgq: [
                7960
                7956
        ]
        eq20: [
                50.57
                50.57
        ]
        photo: [
                7794
                7790
        ]
        cars: [
                221.2
                221.1
        ]
        mseq_naive: [
                25790
                25645
        ]
        mseq_count: [
                6390
                5015
        ]
        fail: [
                18070
                18070
        ]
)


-- 
Guido Tack
Programming Systems Lab
http://www.ps.uni-sb.de/~tack