darcs-hash:2db34d076f378901b9bf68940be6b0248aff191e

as reported by Willem Broekema

darcs-hash:6ba0c2114f8629579447226b6b3254051bdb674b

darcs-hash:1b6ea199355aa5235649266a633583c4a1f570a1

darcs-hash:b269f882ae33bf236b45e369993097e778b529fd

darcs-hash:a037f0edc1d1f9ad4c1340d5d1b97c59bf7cf4b6

darcs-hash:4f953feeb00731a4f68792e737faa2881989d915

darcs-hash:31a87741abbbb84e2d6b5fce946e670fa31e9f9c

darcs-hash:fa2394cab3cf8b678819432d81439c166fc5429f

darcs-hash:079dc160b0a448a78a15db0125ac769cb7c2d7d7

darcs-hash:e35a613dad6f634140205cff10abb62e6954343b

darcs-hash:69d61d75b89a12c5b5e821d62713f74134189da7

darcs-hash:a85160d0dfda28b8b82509f62e56f18493aca9f3

according to:
http://www.gecode.org/gecode-doc-latest/classGecode_1_1Space.html

darcs-hash:cbd277a6eb859535fac4486d70e79d9da4428f6c

The API resembles much more the original gecode one.
Added support for finite sets.
Can now use BAB search.

darcs-hash:c8b49fada41ba5aa80c664ef972fb715a5410588

darcs-hash:1004056bf4d0d2e1ef585bbdee8eb9f3414f63c2

darcs-hash:a6464fa060b1b904ea6a1e7464cd8b80b3cffc83

darcs-hash:1e5e4bd458eac962251c6854f0158e255959dd81

darcs-hash:b28533b02e89787ef37f6d9c46ebf65e6ecdfc86

darcs-hash:b3bd1a087666d338dc6c8ab0bb91314fd575e5d1

darcs-hash:9af3205c9a070eee3260c19ca9ee1bd634d85af2

darcs-hash:bc859e52d5b6b09815a40e0577293e20dd458225

darcs-hash:1c28bc7ec46b3f894b30fa8bdfb78346b4458d0e