5 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).

5.1 Revision 1

5.2 Portability

5.3 Graphics

5.4 Windows

changes and fixes that concern the Windows platform:

5.5 Virtual Machine

changes and fixes that concern the virtual machine:

5.6 Constraint Programming

5.7 Miscellaneous

Version 1.4.0 (20080702)