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.
Id. de artículo: 4012892 - Última revisión: 13-02-2017 - Revisión: 1