Support of product configuration Z3 solver strategy


As the complexity of product configuration model is ever growing, Microsoft needs to use state of the art technology to address this complexity to meet customer requirements.


Microsoft has been developing the Z3 solver since 2008, it has reached a level of maturity, where it is now able to match and in some cases out perform the MSF solvers.


Furthermore the Z3 solver is an open source project with an active community, that is contiously evolving. For product configuration in Dynamics AX 2012 it means that there is an opportunity to leverage the Z3 to provide better performance and in the future new solving capabilities for product configuration.

More information

Note This is a "FAST PUBLISH" article created directly from within the Microsoft support organization. The information contained here in is provided as-is in response to emerging issues. As a result of the speed in making it available, the materials may include typographical errors and may be revised at any time without notice. See Terms of Use for other considerations.

Artikelnummer: 4012892 – Letzte Überarbeitung: 13.02.2017 – Revision: 1