search

MiniZinc / libminizinc

The MiniZinc compiler
http://www.minizinc.org
Other
510 stars 80 forks source link

Suggestion: add pseudo-boolean (bool_lin_*) constraints #14

Closed scand1sk closed 7 years ago

scand1sk commented 9 years ago

A lot of models make use of pseudo-boolean constraints, which are currently implemented with intlin* constraints on boolean variables coerced to Int using bool2int function. This generate many useless variables (one 0/1 and one boolean for each actual decision variable), and potentially many constraints (or other specific solver feature) to enforce the coercion.

Maybe this could be improved if native pseudo-boolean constraints were available.

Dekker1 commented 7 years ago

This issue is being closed in a cleanup of our GitHub repository. It seems it has been fully discussed to not be an (compiler) issue, already solved, or no longer relevant.

If this not be the case, feel free to comment below and we'll reconsider the issue again.