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.
Introduction
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.
Microsoft Dynamics AX 2012 R3
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
Usage
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.