- Mar 15, 2008
-
-
Willem Broekema metawilm@gmail.com authored
darcs-hash:31a87741abbbb84e2d6b5fce946e670fa31e9f9c
-
- Mar 13, 2008
-
-
mauriciotorob authored
darcs-hash:fa2394cab3cf8b678819432d81439c166fc5429f
-
- Feb 06, 2007
-
-
kilian.sprotte authored
darcs-hash:69d61d75b89a12c5b5e821d62713f74134189da7
-
kilian.sprotte authored
darcs-hash:a85160d0dfda28b8b82509f62e56f18493aca9f3
-
- 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:a6464fa060b1b904ea6a1e7464cd8b80b3cffc83
-
- Dec 07, 2006
-
-
kilian.sprotte authored
darcs-hash:9af3205c9a070eee3260c19ca9ee1bd634d85af2
-