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

1.1 Portability

1.2 Graphics

1.3 Windows

changes and fixes that concern the Windows platform:

1.4 Virtual Machine

changes and fixes that concern the virtual machine:

1.5 Constraint Programming

1.6 Miscellaneous


Version 1.2.5 (20040201)