dstm: Add gate merge tolerance to SHOP emitter

Overview

  • Add emit to SHOP: shop_adapter
  • Extend python example to include gate merge tolerance example

Nice to know

  1. As found in the demo provided with this issue, you have to the ShopCommand.set_merge_on() to enable the functionality(also noted in the Shop manual), ref code here
  2. Setting merge tolerance to -1 have semantic meaning of no merge tolerance. This becomes handy when doing practical production planning systems, because you can allow merge in specific periods, and use default in others. ref code example here
Edited by Sigbjørn Helset