Показать сообщение отдельно
Старый 11.07.2018, 22:11   #1  
Blog bot is offline
Blog bot
Участник
 
25,459 / 846 (79) +++++++
Регистрация: 28.10.2006
axmfg: Product Configuration: Performance with Z3
Источник: https://blogs.msdn.microsoft.com/axm...mance-with-z3/
==============

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...

Источник: https://blogs.msdn.microsoft.com/axm...mance-with-z3/
__________________
Расскажите о новых и интересных блогах по Microsoft Dynamics, напишите личное сообщение администратору.