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

#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

#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

#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