6 Mozart 1.2.5

Mozart 1.2.5 is a bug-fix and maintenance release, but most importantly it has undergone important modifications to make it compatible with both old C++ compilers (e. g. gcc 2.95.x) and the new breed of C++ compilers (e. g. gcc 3.x) implementing the new multi-vendor standard C++ ABI (Application Binary Interface).

6.1 Revision 1

6.2 Portability

6.3 Graphics

6.4 Windows

changes and fixes that concern the Windows platform:

6.5 Virtual Machine

changes and fixes that concern the virtual machine:

6.6 Constraint Programming

6.7 Miscellaneous


Version 1.4.0 (20110107062349)