Ask Learn
Preview
Ask Learn is an AI assistant that can answer questions, clarify concepts, and define terms using trusted Microsoft documentation.
Please sign in to use Ask Learn.
Sign inThis browser is no longer supported.
Upgrade to Microsoft Edge to take advantage of the latest features, security updates, and technical support.
Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
In the spring release of 2018 for Microsoft Dynamics 365 for Finance & Operations a significant investment in improving performance of the constraint evaluation has been made.
The result of this investment is the introduction of the Z3 sovler strategy. Z3 is a theorem prover from Microsoft Research, that has won several awards and has an active open source community.
The Microsoft Dynamics 365 for Finance & Operations team, teamed up with the Microsoft researches to develop new algorithms targeted at the Product configuration scenarios for Microsoft Dynamics 365 for Finance & Operations.
The Z3 solver strategy is also available for Microsoft Dynamics AX 2012 R3 with the following KB article numbers:
4341629 - Additional performance improvement of loading models
4046549 - Performance improvement of loading models
4034024 - Fix to support customization related to system defined table constraints
4012892 - Introduction of the Z3 Solver strategy
The applied solver strategy for a product configuration model is selected by accessing the Model properties form.
From the Model properties form the Z3 solver strategy can be selected as illustrated below:
The Z3 solver strategy will currently not have a functional impact, the impact will be on performance.
Ask Learn is an AI assistant that can answer questions, clarify concepts, and define terms using trusted Microsoft documentation.
Please sign in to use Ask Learn.
Sign in