Introduction
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.
Related Articles
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.
This post first appeared on MSDN Blogs | Get The Latest Information, Insights, Announcements, And News From Microsoft Experts And Developers In The MSDN Blogs., please read the originial post: here
