2012/10/30 Torsten Anders <torsten.and...@beds.ac.uk> > On 30 Oct 2012, at 22:30, Gustavo Gutierrez wrote: > > That means that conceptually there is only one space as described in > CTM. Internally that space contains a gecode space that is in charge of > constraint propagation. It is worth to say that gecode spaces are a > specialization of "mozart spaces" that are fine tunned for constraint > programming. Both of them were designed by Christian: computation spaces in > "oz-light" are the ones proposed in his PhD thesis and have been available > in Mozart since the beginning. > > If a Gecode space is nested in a single Oz space, does that mean that you > meanwhile decided to have the branching done by Gecode. In other words, > branching/distribution strategies cannot be defined in Oz anymore? >
Our goal regarding this is two folded: first we would like to have all the good things that are already present in gecode. That includes parallel search (i.e. OS threads). Second we would also like to have the possibility of defining both search engines and branching strategies directly in Oz. That is very good for prototyping and to use specific problem information as heuristics right away. In conclusion we will do as much as possible to have the two ways available. Gustavo.
_________________________________________________________________________________ mozart-users mailing list mozart-users@mozart-oz.org http://www.mozart-oz.org/mailman/listinfo/mozart-users
