-
kilian.sprotte authored
according to: http://www.gecode.org/gecode-doc-latest/classGecode_1_1Space.html darcs-hash:cbd277a6eb859535fac4486d70e79d9da4428f6c
b5de86cc
according to: http://www.gecode.org/gecode-doc-latest/classGecode_1_1Space.html darcs-hash:cbd277a6eb859535fac4486d70e79d9da4428f6c