CPMpy/cpmpy

Issues

• 2d-element constraint can have out-of-bounds indices

  #444 opened 10 months ago by IgnaceBleukx
  3

• Overhead in solver interface

  #512 opened 3 months ago by IgnaceBleukx
  0

• Export model to mps/lp file

  #511 opened 4 months ago by sin3000x
  0

• Accept a sequence of variable names

  #507 opened 4 months ago by sin3000x
  2

• User-friendlyness for unknown solver

  #497 opened 4 months ago by IgnaceBleukx
  0

• Global constraints wishlist

  #433 opened a year ago by Wout4
  4

• wrap_brackets maximum recursion depth

  #467 opened 4 months ago by ThomSerg
  6

• int64 not json serializable

  #484 opened 4 months ago by tias
  3

• Cardinality native for some Pysat solvers

  #482 opened 6 months ago by IgnaceBleukx
  0

• Parameters to Exact

  #481 opened 6 months ago by IgnaceBleukx
  2

• Negative Boolvars in objective not supported for linear solvers

  #468 opened 6 months ago by IgnaceBleukx
  0

• Pysat removing literals during cardinality encoding

  #409 opened 6 months ago by Wout4
  2

• Possibility of modeling Generalized Disjunctive Programs

  #429 opened 7 months ago by bernalde
  3

• Minizinc crashes with sum in alldifferentexcept0

  #460 opened 7 months ago by Wout4
  0

• count inside wsum crashes minizinc

  #461 opened 7 months ago by Wout4
  0

• turn simplify_bool into normalise.

  #427 opened a year ago by Wout4
  1

• Utils is_bool() does not include cpmpy BoolVal

  #452 opened 8 months ago by Wout4
  0

• Multiple AllDifferent constraints results in wrong solution

  #450 opened 9 months ago by mekhall
  11

• Making a deep-copy of a model

  #449 opened 9 months ago by mekhall
  2

• reifing a boolean expression to an integer crashes ortools and gurobi interface

  #442 opened 10 months ago by Wout4
  2

• reified element constraints do not get handled correctly

  #392 opened a year ago by Wout4
  1

• gurobi does not support floordivision

  #398 opened a year ago by Wout4
  0

• Some solvers use floordivision others use integer division

  #406 opened a year ago by Wout4
  0

• Reified circuit first element of list is restricted

  #423 opened a year ago by Wout4
  1

• partial functions

  #439 opened a year ago by Wout4
  1

• flattening very slow for specific models

  #399 opened a year ago by Wout4
  2

• Cumulative constraint with one task crashes Minizinc

  #436 opened a year ago by IgnaceBleukx
  0

• Solution hinting not working as intended when NDVarArray more than 1 dimension

  #407 opened a year ago by Dimosts
  1

• ParameterTuner contains python3.9+ only code

  #389 opened a year ago by tias
  0

• Xor decomposition is very inefficient

  #395 opened a year ago by Wout4
  1

• Canonical comparison does not handle reification of comparisons

  #420 opened a year ago by Wout4
  4

• Distributivity of wsums

  #419 opened a year ago by IgnaceBleukx
  1

• Canonical comparison bug whan rhs contains a multiplication

  #418 opened a year ago by Wout4
  2

• Minizinc transform decomposes nested globals

  #415 opened a year ago by Wout4
  0

• dtype problem in flatten model process

  #383 opened a year ago by CharlezXue
  2

• possibility for infinite loop in only_bv_implies

  #369 opened a year ago by Wout4
  0

• linearize alters number of solutions

  #400 opened a year ago by Wout4
  1

• Tests no longer work in Windows

  #375 opened a year ago by Dimosts
  4

• Adding Toulbar 2

  #404 opened a year ago by 363734
  0

• cp.intvar makes unbound variables?

  #397 opened a year ago by jpcaveiro
  2

• Minizinc solve call crashes JSON-decoder on specific output

  #386 opened a year ago by Wout4
  3

• Not backwards compatible model init

  #376 opened a year ago by Dimosts
  3

• boolval.implies leads to error

  #368 opened a year ago by Wout4
  5

• Circuit to minizinc translation does not always offset

  #385 opened a year ago by Wout4
  0

• fresh install tests requiring skip check

  #381 opened a year ago by tias
  0

• indomain does not work with minizinc

  #366 opened a year ago by Wout4
  7

• Count only works in a comparison for minizinc

  #370 opened a year ago by Wout4
  0

• Decompose globals does not flatten globalfunctions when supported

  #377 opened a year ago by Dimosts
  0

• Unique identifiers for variables

  #373 opened a year ago by Wout4
  1

• Negating Boolval() changes the original object

  #371 opened a year ago by Wout4
  0