Gecode / Gecode/gecode

Investigate if rewriting to `cumulatives` is good for zero-length tasks when posting MiniZinc constraints `gecode_cumulatives`

Đang mở
#82 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 the [registry function](https://github.com/Gecode/gecode/blob/87a464b9d7d67616c1b4c6b98600d38a782d014b/gecode/flatzinc/registry.cpp#L1210) for `gecode_cumulatives` the case where the tasks may have zero-length duration and the bound is not assigned is currently decomposed into basic constraints.

An alternative re-write strategy would be to rewrite to cumulatives using multiple machines, where zero-length tasks are on a different machine with an "unlimited" bound.

If #81 has been implemented, this should be tested in the new MiniZinc rewriting, otherwise in the current C++ code.

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.