Gecode / Gecode/gecode

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

Abierto
#80 0 comentarios 0 reacciones 0 asignados Ver en GitHub
good first issue help wanted
Lenguaje dominante
C++
Estrellas
335
Forks
88
Merge medio
1 h 28 min
PR fusionados (30 d)
1

Descripción

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

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.