- Feb 06, 2007
-
-
kilian.sprotte authored
darcs-hash:69d61d75b89a12c5b5e821d62713f74134189da7
-
kilian.sprotte authored
darcs-hash:a85160d0dfda28b8b82509f62e56f18493aca9f3
-
- Jan 09, 2007
-
-
kilian.sprotte authored
according to: http://www.gecode.org/gecode-doc-latest/classGecode_1_1Space.html darcs-hash:cbd277a6eb859535fac4486d70e79d9da4428f6c
-
- Jan 08, 2007
-
-
kilian.sprotte authored
The API resembles much more the original gecode one. Added support for finite sets. Can now use BAB search. darcs-hash:c8b49fada41ba5aa80c664ef972fb715a5410588
-
- Dec 21, 2006
-
-
kilian.sprotte authored
darcs-hash:1004056bf4d0d2e1ef585bbdee8eb9f3414f63c2
-
kilian.sprotte authored
darcs-hash:a6464fa060b1b904ea6a1e7464cd8b80b3cffc83
-
kilian.sprotte authored
darcs-hash:1e5e4bd458eac962251c6854f0158e255959dd81
-
- Dec 07, 2006
-
-
kilian.sprotte authored
darcs-hash:b28533b02e89787ef37f6d9c46ebf65e6ecdfc86
-
kilian.sprotte authored
darcs-hash:b3bd1a087666d338dc6c8ab0bb91314fd575e5d1
-
kilian.sprotte authored
darcs-hash:9af3205c9a070eee3260c19ca9ee1bd634d85af2
-
- Nov 24, 2006
-
-
paul authored
darcs-hash:bc859e52d5b6b09815a40e0577293e20dd458225
-
- Nov 23, 2006
-
-
kilian.sprotte authored
darcs-hash:1c28bc7ec46b3f894b30fa8bdfb78346b4458d0e
-