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
#302 - Adding Isin constraint to specify non-interval domains
Pull Request -
State: closed - Opened by Dimosts over 1 year ago
- 4 comments
Labels: next release
#301 - Multi dimentional element constraint
Pull Request -
State: closed - Opened by Dimosts over 1 year ago
- 5 comments
Labels: next release
#300 - Streamline double decomposition for alldiff
Issue -
State: open - Opened by JoD over 1 year ago
- 5 comments
Labels: enhancement
#299 - Decompose division and modulo
Issue -
State: open - Opened by JoD over 1 year ago
Labels: enhancement, partial functions
#298 - Implement push-down-negation
Issue -
State: closed - Opened by IgnaceBleukx over 1 year ago
#297 - type-check in operator constructor
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 2 comments
#296 - pysat reified cardinality
Issue -
State: open - Opened by tias over 1 year ago
#295 - Pysat returns 0 or Error
Issue -
State: open - Opened by stijndebels over 1 year ago
- 4 comments
#294 - Change flagship example in the Readme
Issue -
State: closed - Opened by lorepieri8 over 1 year ago
- 1 comment
#293 - Rewrite decompose_globals to work at tree level
Issue -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 2 comments
#292 - DirectConstraint (a part of #121 nativeCons)
Pull Request -
State: closed - Opened by tias over 1 year ago
- 2 comments
#291 - 288 simplify boolean contstants
Pull Request -
State: open - Opened by IgnaceBleukx over 1 year ago
- 4 comments
#290 - Simplify boolean contstants
Issue -
State: closed - Opened by IgnaceBleukx over 1 year ago
#289 - Simplify boolean contstants
Issue -
State: closed - Opened by IgnaceBleukx over 1 year ago
#288 - Simplify boolean contstants
Issue -
State: open - Opened by IgnaceBleukx over 1 year ago
#287 - 265 xor of circuit global constraints crashes ortools
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
#286 - Flatten does not decompose
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 4 comments
#285 - negated_normal decomposes global constraints
Issue -
State: closed - Opened by Wout4 over 1 year ago
#284 - 283 use BoolVal in stead of True and False
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 3 comments
#283 - return our new CPMpy expression of False
Issue -
State: closed - Opened by tias over 1 year ago
#282 - check bounds of minizinc vars
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 2 comments
#281 - pypi does not provide most recent version?
Issue -
State: closed - Opened by MxMartin over 1 year ago
- 2 comments
#280 - Max()/.max() method not yielding expected results
Issue -
State: closed - Opened by MxMartin over 1 year ago
- 3 comments
Labels: question
#279 - Time limit semantics
Issue -
State: open - Opened by IgnaceBleukx over 1 year ago
- 1 comment
Labels: inconsistency
#278 - axis arg for sum method
Issue -
State: closed - Opened by MxMartin over 1 year ago
- 2 comments
#277 - minizinc exitstatus fix when time-out
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
#276 - minizinc timeout gives exitstatus ERROR and no runtime
Issue -
State: closed - Opened by Wout4 over 1 year ago
#275 - add test for ortools version
Pull Request -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 2 comments
Labels: Simple to review
#274 - Fix 261
Pull Request -
State: closed - Opened by JoD over 1 year ago
- 1 comment
Labels: Simple to review
#273 - Minizinc crashes when True or False literals are compared with numeric expressions
Issue -
State: open - Opened by Wout4 over 1 year ago
#272 - added missing brackets
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
#271 - Wsum to minizinc translation missing brackets
Issue -
State: closed - Opened by Wout4 over 1 year ago
#270 - Minizinc crashes on integers outside of range (-2147483646..2147483646)
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
#269 - optimization problem no warning when exitstatus is feasible and not optimal
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
#268 - Reify_rewrite documentation missing precondition
Issue -
State: closed - Opened by Wout4 over 1 year ago
Labels: fuzz-test
#267 - precondition of linearize_constraint not clear
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 3 comments
Labels: fuzz-test
#266 - Add chess_position example
Pull Request -
State: closed - Opened by KennyVDV over 1 year ago
#265 - Xor of Circuit global constraints crashes ortools
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 2 comments
Labels: fuzz-test
#264 - Is it possible to extend the packing_rectangles.ipynb to support multiple bins
Issue -
State: closed - Opened by mostpalonen over 1 year ago
- 2 comments
#263 - is_arithmetic function on expressions
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 3 comments
Labels: enhancement
#262 - Calling _IntVarImpl makes model unsat
Issue -
State: open - Opened by Wout4 over 1 year ago
- 4 comments
Labels: fuzz-test
#261 - negated_normal crashes when input contains a boolexpr compared with an numexpr.
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 3 comments
Labels: fuzz-test
#260 - Table constraint on right hand side of implication crashes linearize_constraint
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 2 comments
Labels: fuzz-test
#259 - Element global constraint accepting lists leads to error in linearize constraint
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
Labels: fuzz-test
#258 - abs should become a global constraint
Issue -
State: closed - Opened by JoD over 1 year ago
- 1 comment
#257 - 255 comparison expression has no get bounds
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 2 comments
#256 - Global cardinality constraint is not general
Issue -
State: closed - Opened by JoD over 1 year ago
- 3 comments
#255 - Comparison expression has no get_bounds
Issue -
State: closed - Opened by Wout4 over 1 year ago
Labels: fuzz-test
#254 - Help with extension on example room_assignment.ipynb
Issue -
State: closed - Opened by jpoberhauser over 1 year ago
- 3 comments
Labels: question
#253 - New advanced example: CPMpyXplain algorithm
Pull Request -
State: open - Opened by VincentDeBoulle over 1 year ago
- 2 comments
#252 - Add Inverse() global constraint
Pull Request -
State: closed - Opened by bradediger over 1 year ago
- 1 comment
#251 - Allow finding intermediate solutions with Minizinc
Issue -
State: closed - Opened by timvandam over 1 year ago
- 5 comments
#250 - 248 cannot deepcopy model with nested list of constraints
Pull Request -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 3 comments
#249 - WSUM flatten_constraint error
Issue -
State: closed - Opened by sourdough-bread over 1 year ago
- 1 comment
Labels: bug
#248 - Cannot `deepcopy` model with nested list of constraints
Issue -
State: closed - Opened by HelgeS over 1 year ago
- 2 comments
#247 - Seed
Issue -
State: closed - Opened by federicotoffano over 1 year ago
- 3 comments
#246 - Decompose globals
Pull Request -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 4 comments
#245 - Count globals rebased
Pull Request -
State: closed - Opened by JoD over 1 year ago
- 2 comments
#244 - Revert "Count globals"
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
#243 - Error Weights Objective
Issue -
State: closed - Opened by ElFosco over 1 year ago
- 5 comments
#242 - Manage incomplete functions when calculating value
Pull Request -
State: closed - Opened by IgnaceBleukx over 1 year ago
#241 - table decomposition bug
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
#240 - Table global constraint with only one option decomposition error
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 2 comments
#239 - Count globals
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
#238 - Count global
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
#237 - Z3 numerical global constraints can only be used in flat constraint
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
#236 - Decompose comparison for Maximum and Minimum
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
#235 - Circuit value function and test
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 1 comment
#234 - Table global
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 3 comments
#233 - ite helper function and test
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 6 comments
#232 - z3: boolvar-sum with int error
Issue -
State: open - Opened by tias over 1 year ago
- 3 comments
#230 - Fishhooking boolean operators to cover extreme cases
Pull Request -
State: closed - Opened by Dimosts over 1 year ago
- 2 comments
#229 - 227 false gets removed in transformations
Pull Request -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 5 comments
#227 - 'False' gets removed in transformations
Issue -
State: closed - Opened by IgnaceBleukx over 1 year ago
#225 - Not operator
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 6 comments
#224 - Bound calculations
Pull Request -
State: closed - Opened by Wout4 over 1 year ago
- 3 comments
#223 - Transformations care, for to_cnf
Pull Request -
State: closed - Opened by tias over 1 year ago
- 2 comments
#221 - 183 revisit linearize transformation
Pull Request -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 7 comments
#220 - Exact backend
Pull Request -
State: closed - Opened by JoD over 1 year ago
- 5 comments
Labels: next release
#219 - to_cnf: to CNF encoding of cardinality constraints
Issue -
State: closed - Opened by sourdough-bread over 1 year ago
- 5 comments
Labels: bug
#217 - Extended testsuite uncovers flatten problems
Issue -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 2 comments
#216 - Arguments given to minizinc are not take into account
Issue -
State: closed - Opened by Dimosts over 1 year ago
- 1 comment
#214 - ~Circuit negation of global constraint not working correctly
Issue -
State: closed - Opened by Wout4 over 1 year ago
- 3 comments
#212 - mus: converted nested lists to conjunction
Issue -
State: closed - Opened by tias over 1 year ago
- 3 comments
#211 - OR-tools gives UNSAT while SAT
Issue -
State: closed - Opened by IgnaceBleukx over 1 year ago
- 3 comments
#207 - an ITE() helper function and count/gcc globals
Pull Request -
State: closed - Opened by tias over 1 year ago
- 3 comments
#206 - refactor to_cnf transform, flatten outside and more robust to globals
Issue -
State: closed - Opened by tias almost 2 years ago
#205 - bug decomposing reified global constraints that contain other global constraints
Issue -
State: closed - Opened by tias almost 2 years ago
- 2 comments
#202 - Glasgow Constraint Solver
Pull Request -
State: closed - Opened by tias almost 2 years ago
- 7 comments
#198 - Boolean operators on integers crash some solvers
Issue -
State: closed - Opened by Wout4 almost 2 years ago
- 2 comments
#197 - Semantic Caveats
Issue -
State: closed - Opened by sourdough-bread almost 2 years ago
Labels: question
#195 - Workflow test automation
Pull Request -
State: closed - Opened by Wout4 almost 2 years ago
#184 - Incomplete functions on rhs of implication
Issue -
State: open - Opened by IgnaceBleukx almost 2 years ago
- 9 comments
Labels: partial functions
#183 - Revisit linearize transformation
Issue -
State: closed - Opened by IgnaceBleukx almost 2 years ago
- 14 comments
Labels: enhancement
#170 - Wrongly unsatisfiable problem for ortools and gurobi
Issue -
State: closed - Opened by rubenkindt almost 2 years ago
- 2 comments
Labels: fuzz-test
#168 - wrongly unsat result on gurobi
Issue -
State: closed - Opened by rubenkindt almost 2 years ago
- 2 comments
Labels: fuzz-test
#165 - MiniZinc error: Memory violation detected (segmentation fault).
Issue -
State: closed - Opened by rubenkindt almost 2 years ago
- 1 comment
Labels: bug, fuzz-test
#164 - malloc(): Not enough space in some MiniZinc subsolvers
Issue -
State: closed - Opened by rubenkindt almost 2 years ago
- 6 comments
Labels: bug, fuzz-test
#163 - recursion error on imported models
Issue -
State: closed - Opened by rubenkindt almost 2 years ago
- 7 comments
#161 - from_file seems to create two separate references for the same variable
Issue -
State: open - Opened by rubenkindt almost 2 years ago
- 2 comments
Labels: fuzz-test, duplicate var names