OZ en Argentina

[Kevin Glynn]

damian nadales writes:
 > Mozart Team:
 >        We are students at the 'Universidad Nacional de Rio Cuarto'
 > (Argentina) and it is our plan to use OZ as a research tool in the
 > development of a distributed system to solve NP-Complete problems.
 >        At this moment we are analyzing the languages features (such as
 > type system and scope) so that we can make a proper use of OZ. But we
 > are facing a problem: we can't find in the Mozart documentation
 > information about the internal representation of the numeric types
 > (although we suppose they are represented using lists).
 >        So we'll really appreciate if you could tell us where can we
 > find such information.
 >        Thanks for your help,
 >                                    Marcelo G. Almiron (mga_kv at hotmail.com)
 >                                    Adrian E. Muract (adrian_muract at hotmail.com)
 >                                    Damian E. Nadales
 > 
 > PS:Please excuse our bad English.
 > 
 > 


Hi,

Questions like these are better addressed to the Mozart users and/or
hackers mailing lists, for information on these lists see the 'Contact
Information' link from the mozart home page:

   http://www.mozart-oz.org/lists/

For Integers there are two tagged representations, there is efficient
support for integers that fit into 28 bits, and for the rest we use
the GNU Multiple Precision library (GMP). 

   http://swox.com/gmp/

On the other hand Finite Domain variables are limited, see

   http://www.mozart-oz.org/documentation/limitations/index.html

for more information.

I don't know if that answers your questions, I can't see from your
message why you are interested in knowing the internal
representations. 

I have cc'd the mozart hackers list in case anyone there wants to chip
in with more information.

regards
k