Expose Gecode scheduling constraints with (start, duration, end) tasks to MiniZinc
オープン
good first issue
help wanted
- 主要言語
- C++
- スター
- 335
- フォーク
- 88
- 平均マージ
- 1時間 28分
- マージ済み PR(30日)
- 1
説明
In Gecode, many [scheduling constraints](https://www.gecode.org/doc-latest/reference/group__TaskModelIntScheduling.html) constraints take a triple of `start`, `duration`, and `end` variables for each task, while the coresponding constraints in MiniZinc work with only a `start` and `duration`.
The idea is to add new custom constraints in [gecode.mzn](https://github.com/Gecode/gecode/blob/develop/gecode/flatzinc/mznlib/gecode.mzn) for the `cumulative`, `cumulatives`, and `unary` variants and matching posting functions in [the registry](https://github.com/Gecode/gecode/blob/develop/gecode/flatzinc/registry.cpp).
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。