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