# ATS2-min

**URL:** <https://discourse.ats-lang.org/t/ats2-min/748>\
**Category:** Google Group\
**Created:** [December 8, 2014, 7:29am UTC](https://discourse.ats-lang.org/t/ats2-min/748 "2014-12-08T07:29:55Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 8, 2014, 7:29am UTC](https://discourse.ats-lang.org/t/ats2-min/748/1 "2014-12-08T07:29:55Z")

</div>

FYI.

In the future, I will try to release a version of ATS2 that  
does not depend on the GMP library (libgmp.a). I use the  
name ATS2-min for such a version.

Please find a pre-stable release of ATS2-min-0.1.6 here:

[http://www.ats-lang.org/Downloads.html#ATS\_packages](http://www.ats-lang.org/Downloads.html#ATS_packages)

For most users, there really isn’t much difference between  
ATS2 and ATS2-min. Actually, the latter is significantly more  
efficient in terms of constraint-solving (but it cannot handle  
big integers \>= 2^64).

–Hongwei

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 16, 2014, 2:25am UTC](https://discourse.ats-lang.org/t/ats2-min/748/2 "2014-12-16T02:25:52Z")

</div>

‘min’ is too generic. I call it ATS2-intmin for now.On Monday, December 8, 2014 2:29:55 AM UTC-5, gmhwxi wrote:

> FYI.
> 
> In the future, I will try to release a version of ATS2 that  
> does not depend on the GMP library (libgmp.a). I use the  
> name ATS2-min for such a version.
> 
> Please find a pre-stable release of ATS2-min-0.1.6 here:
> 
> [http://www.ats-lang.org/Downloads.html#ATS\_packages](http://www.ats-lang.org/Downloads.html#ATS_packages)
> 
> For most users, there really isn’t much difference between  
> ATS2 and ATS2-min. Actually, the latter is significantly more  
> efficient in terms of constraint-solving (but it cannot handle  
> big integers \>= 2^64).
> 
> –Hongwei

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [December 14, 2014, 6:42pm UTC](https://discourse.ats-lang.org/t/ats2-min/748/3 "2014-12-14T18:42:54Z")

</div>

2^64 : is this for 32 bits machines too ?Le lundi 8 décembre 2014 08:29:55 UTC+1, gmhwxi a écrit :

> FYI.
> 
> In the future, I will try to release a version of ATS2 that  
> does not depend on the GMP library (libgmp.a). I use the  
> name ATS2-min for such a version.
> 
> Please find a pre-stable release of ATS2-min-0.1.6 here:
> 
> [http://www.ats-lang.org/Downloads.html#ATS\_packages](http://www.ats-lang.org/Downloads.html#ATS_packages)
> 
> For most users, there really isn’t much difference between  
> ATS2 and ATS2-min. Actually, the latter is significantly more  
> efficient in terms of constraint-solving (but it cannot handle  
> big integers \>= 2^64).
> 
> –Hongwei

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 14, 2014, 7:14pm UTC](https://discourse.ats-lang.org/t/ats2-min/748/4 "2014-12-14T19:14:14Z")

</div>

I think so. ‘long long int’ is 64-bit even if you use a 32-bit machine.On Sunday, December 14, 2014 1:42:54 PM UTC-5, Yannick Duchêne wrote:

> 2^64 : is this for 32 bits machines too ?
> 
> Le lundi 8 décembre 2014 08:29:55 UTC+1, gmhwxi a écrit :
> 
> > FYI.
> > 
> > In the future, I will try to release a version of ATS2 that  
> > does not depend on the GMP library (libgmp.a). I use the  
> > name ATS2-min for such a version.
> > 
> > Please find a pre-stable release of ATS2-min-0.1.6 here:
> > 
> > [http://www.ats-lang.org/Downloads.html#ATS\_packages](http://www.ats-lang.org/Downloads.html#ATS_packages)
> > 
> > For most users, there really isn’t much difference between  
> > ATS2 and ATS2-min. Actually, the latter is significantly more  
> > efficient in terms of constraint-solving (but it cannot handle  
> > big integers \>= 2^64).
> > 
> > –Hongwei