Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / CPMpy/cpmpy issues and pull requests

#160 - Some MiniZinc subsolvers give wrongly an unsatisfiable on a specific input file

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 2 comments
Labels: fuzz-test

#159 - Translation of gurobi status 9 to CPMpy status not implemented

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 1 comment
Labels: fuzz-test

#158 - Importing a file and adding constrains can turn problems wrongly unsatisfiable

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 1 comment
Labels: fuzz-test

#157 - Creating a circuit of 1 element crashes "ortools" and "gurobi"

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 2 comments
Labels: bug, fuzz-test

#156 - MiniZinc stopped with a non-zero exit code, but did not output an error message

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 8 comments
Labels: fuzz-test

#155 - array 1-d shape assert fails with gurobi due to strange constraint, but constraint gets solved in ortools

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 1 comment
Labels: fuzz-test

#154 - JSON DecodeError with "minizinc:experimental"

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 1 comment
Labels: fuzz-test

#153 - Gurobi sometimes does not set amount of solutions and exit status correctly

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 1 comment
Labels: fuzz-test

#149 - GurobiError when variable lb is smaller then 0 with pow()

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 1 comment
Labels: fuzz-test

#148 - short-term solvers to add

Issue - State: open - Opened by tias almost 2 years ago - 1 comment
Labels: enhancement, new solver

#146 - Boolean comparison in z3

Issue - State: closed - Opened by IgnaceBleukx almost 2 years ago - 4 comments
Labels: bug

#145 - SolverLookup.solvernames() crashes

Issue - State: closed - Opened by rubenkindt almost 2 years ago
Labels: fuzz-test

#139 - SolverLookup.get(..).solve() does not update the model's status

Issue - State: closed - Opened by rubenkindt almost 2 years ago - 3 comments
Labels: question, fuzz-test

#138 - Any suggestion about or-tools hyperparameter search

Issue - State: closed - Opened by asdqsczser almost 2 years ago - 1 comment

#135 - Is there a way to specify a non-interval domain?

Issue - State: closed - Opened by pauljurczak about 2 years ago - 3 comments
Labels: enhancement

#121 - DirectVariable prototype

Pull Request - State: open - Opened by tias over 2 years ago - 15 comments

#120 - Static symmetry breaking

Issue - State: closed - Opened by IgnaceBleukx over 2 years ago
Labels: enhancement

#117 - Numpyification

Issue - State: closed - Opened by IgnaceBleukx over 2 years ago - 1 comment

#114 - Pysat wsum

Pull Request - State: open - Opened by sourdough-bread over 2 years ago - 10 comments

#112 - Run constraint testsuite on all solvers

Issue - State: closed - Opened by IgnaceBleukx over 2 years ago - 2 comments

#97 - some sum optimisations

Issue - State: open - Opened by tias over 2 years ago - 3 comments
Labels: enhancement

#96 - lb/ub computation of expressions

Issue - State: closed - Opened by tias over 2 years ago - 6 comments
Labels: question

#74 - How to use ortool's global constraints which are not integrated by CPMpy?

Issue - State: closed - Opened by hakank almost 3 years ago - 4 comments

#45 - Feature request: matrix_element

Issue - State: closed - Opened by hakank about 3 years ago - 1 comment
Labels: enhancement

#43 - Creating intvar with a specific domain

Issue - State: closed - Opened by hakank about 3 years ago - 1 comment
Labels: enhancement