最新消息:ww12345678 的部落格重装上线,希望大家继续支持。

产品配置:Z3的性能 / Product Configuration: Performance with Z3

网络文摘 William 151浏览 0评论

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.      
发表我的评论
取消评论

表情

Hi,您需要填写昵称和邮箱!

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址