Gecode / Gecode/gecode

Expose Gecode scheduling constraints with (start, duration, end) tasks to MiniZinc

Đang mở
#80 0 bình luận 0 reaction 0 người được giao Xem trên GitHub
good first issue help wanted
Ngôn ngữ chính
C++
Star
335
Fork
88
Merge trung bình
1 giờ 28 phút
Pull request đã merge (30 ngày)
1

Mô tả

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

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.