CPMpy/cpmpy

Issues

• Passing a NumPy array to the `Table` global constraint throws `TypeError` exception

  #531 opened 2 months ago by mocanu-razvan
  1

• Make flatten and decompose context-aware

  #527 opened 2 months ago by IgnaceBleukx
  0

• Min and Max functions omit an item when passed a generator

  #525 opened 2 months ago by jonbiemond
  1

• Negation of a boolean after decomposition

  #524 opened 2 months ago by ThomSerg
  1

• Incorrect reference to abs method in modeling.md

  #520 opened 3 months ago by drizdva-kul
  2

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

  #444 opened a year ago by IgnaceBleukx
  3

• int64 not json serializable

  #484 opened 3 months ago by tias
  4

• Overhead in solver interface

  #512 opened 5 months ago by IgnaceBleukx
  0

• Export model to mps/lp file

  #511 opened 5 months ago by sin3000x
  0

• Accept a sequence of variable names

  #507 opened 5 months ago by sin3000x
  2

• User-friendlyness for unknown solver

  #497 opened 6 months ago by IgnaceBleukx
  0

• Global constraints wishlist

  #433 opened a year ago by Wout4
  4

• wrap_brackets maximum recursion depth

  #467 opened 6 months ago by ThomSerg
  6

• Cardinality native for some Pysat solvers

  #482 opened 7 months ago by IgnaceBleukx
  0

• Parameters to Exact

  #481 opened 7 months ago by IgnaceBleukx
  2

• Negative Boolvars in objective not supported for linear solvers

  #468 opened 8 months ago by IgnaceBleukx
  0

• Pysat removing literals during cardinality encoding

  #409 opened 8 months ago by Wout4
  2

• Possibility of modeling Generalized Disjunctive Programs

  #429 opened 8 months ago by bernalde
  3

• Minizinc crashes with sum in alldifferentexcept0

  #460 opened 8 months ago by Wout4
  0

• count inside wsum crashes minizinc

  #461 opened 8 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 10 months ago by Wout4
  0

• Multiple AllDifferent constraints results in wrong solution

  #450 opened a year ago by mekhall
  11

• Making a deep-copy of a model

  #449 opened a year ago by mekhall
  2

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

  #442 opened a year 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

• 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

• 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

• 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