SICStus Prolog 4.10.0

[Mats Carlsson]

Dear SICStus friends,

the other day, we released SICStus Prolog 4.10.0 with new features, speedups, bug fixes, etc. For a change log, see here. The new features concern the MiniZinc and CLPFD libraries. Notably, constraint variables varying over the real numbers are now supported by the CLPFD library and will soon be supported by the MiniZinc library as well.

This release requires new license codes. If you have active support, you will get these automatically in the near future if you haven't already. Contact SICStus Request if you need it sooner.

Enjoy!

Mats Carlsson, Ph.D. Associate Professor Digital Systems Department Computer Science Unit Computer Systems D: +46 10 228 43 16 |  M: +46 70 264 71 80 mats.c...@ri.se RISE Research Institutes of Sweden | ri.se |