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

3.1 Revision 1

3.2 Portability

3.3 Graphics

3.4 Windows

changes and fixes that concern the Windows platform:

3.5 Virtual Machine

changes and fixes that concern the virtual machine:

3.6 Constraint Programming

3.7 Miscellaneous


Version 1.3.1 (20040616)