11.07.2018, 22:11 | #1 |
Участник
|
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, напишите личное сообщение администратору. |
|
|
|