chocoteam/choco-solver

Issues

• [BUG] Unexpected behaviour when using neg() intvar in arithm

  #1115 opened 21 days ago by ArthurGodet
  1

• [BUG] Start and end of tasks are always enforced at root

  #1119 opened a month ago by IgnaceBleukx
  5

• Model.intVar() should accept enumerated domains provided in bitsets

  #1120 opened a month ago by fhermeni
  0

• [BUG] Clause learning broken since Choco 4.10.14

  #1118 opened 2 months ago by Holt59
  2

• [BUG] IntQuickSort.sort may behave incorrectly if left > 0

  #1111 opened 2 months ago by niemisto
  2

• [BUG]Unexpected behavior when using Task with scalar

  #1114 opened 2 months ago by cprudhom
  4

• [BUG] BinPacking initial propagation does not detect inconsistency

  #1112 opened 2 months ago by cprudhom
  2

• Help with Efficient Branching Strategy for Takeoff Slot Allocation Model Using Choco Solver

  #1110 opened 2 months ago by Youcef1810
  1

• Remove xchart dependency?

  #1103 opened 3 months ago by axkr
  0

• [BUG] Bug in PropHybridTable -> ASupport

  #1102 opened 4 months ago by dimitri-justeau
  0

• [BUG] java.lang.IllegalArgumentException: Equal objects must have equal hashcodes.

  #1101 opened 4 months ago by ptal
  10

• Reified global constraints are decomposed in Minizinc parser

  #1072 opened a year ago by IgnaceBleukx
  1

• [BUG] fzn-choco.exe doesn't work

  #1097 opened 6 months ago by SYury
  6

• [BUG] INeighborFactory is missing in choco-parsers-4.10.14-light.jar (Github)

  #1091 opened 8 months ago by cprudhom
  1

• [BUG] IsEntailed for InverseChanneling not working with negative bounds

  #1090 opened 8 months ago by IgnaceBleukx
  8

• [FEATURE] MultivaluedDecisionDiagram : Making the compact method optionnal

  #1089 opened 7 months ago by ib31
  2

• Makes it possible to create a constraint without a propagator

  #1088 opened 10 months ago by cprudhom
  0

• [BUG] MiniZinc/Choco 240130, `c90bf40a9`, `count`, wrong solutions

  #1081 opened a year ago by matsc-at-sics-se
  1

• [BUG] MiniZinc/Choco 240130, `c90bf40a9`, `^`, missing solutions

  #1080 opened a year ago by matsc-at-sics-se
  3

• [BUG] MiniZinc/Choco 240130, `c90bf40a9`, reified count, missing solutions

  #1079 opened a year ago by matsc-at-sics-se
  0

• [BUG] MiniZinc/Choco 231102, `aaa1ae7b9`, `network_flow_cost`, missing solution

  #1078 opened a year ago by matsc-at-sics-se
  1

• [BUG] MiniZinc/Choco 231102, `aaa1ae7b9`, `minimum_arg`, wrong solution

  #1077 opened a year ago by matsc-at-sics-se
  1

• [BUG] Cannot parser args correctly in fzn-choco

  #1082 opened 6 months ago by zy-nesime
  2

• License change planned?

  #1061 opened a year ago by user321321
  4

• Add more Statistics (like peak depth) in Choco-Solver FlatZinc Frontend

  #1071 opened 6 months ago by Hedieh-Haddad
  0

• NogoodFromRestarts + ObjectiveStrategy = UnsupportedOperationException

  #1096 opened 7 months ago by cprudhom
  0

• [BUG] Wrong solution on evm-super-compilation (only in parallel mode)

  #1094 opened 8 months ago by ptal
  2

• [BUG] MiniZinc parser crashes on a model with float vars

  #1098 opened 8 months ago by SYury
  3

• [BUG] Incorrect UNSAT for sub_circuit when reified

  #1095 opened 8 months ago by ThomSerg
  2

• [BUG] reifiying increasing fails

  #1093 opened 8 months ago by cprudhom
  0

• [Documentation] Wrong specs in Implied and Reif constraints/propagators

  #1087 opened a year ago by 363734
  0

• Lazy creation of variables

  #1086 opened a year ago by cprudhom
  0

• Minizinc 2.8.1 compatibility issues

  #1074 opened a year ago by IgnaceBleukx
  7

• `Settings` object should become immutable once the model is setup

  #1070 opened a year ago by cprudhom
  2

• [BUG] fzn-choco, minimum_arg, missing solution

  #1040 opened 2 years ago by matsc-at-sics-se
  1

• [BUG] fzn-choco, lex_less, wrong answer

  #1044 opened 2 years ago by matsc-at-sics-se
  0

• [BUG] fzn-choco, nvalue, wrong solution

  #1042 opened 2 years ago by matsc-at-sics-se
  0

• [BUG] Choco does not check for timeout during initialization phase

  #1062 opened a year ago by mstrojny
  2

• [Question] Excuse me, I want to quickly get the intersection of all variable solutions, how to do？

  #1060 opened a year ago by oriming
  1

• `getGraphVal()` is missing from the Solution object.

  #1053 opened a year ago by dimitri-justeau
  0

• [BUG] Module descriptor seems overkill

  #1049 opened 2 years ago by io7m
  5

• [BUG] fzn-choco, table, wrong answer

  #1045 opened 2 years ago by matsc-at-sics-se
  3

• [BUG] fzn-choco, multiply, wrong solution

  #1041 opened 2 years ago by matsc-at-sics-se
  1

• [BUG] fzn-choco, mod, wrong solution

  #1043 opened 2 years ago by matsc-at-sics-se
  1

• LNS documentation is wrong

  #1039 opened 2 years ago by Dimosts
  0

• [BUG]PropKnapsackKatriel01 proves unsat on a satisfiable instance

  #1038 opened 2 years ago by cprudhom
  0

• [BUG] Choco-solver 4.10.13: missing solution

  #1035 opened 2 years ago by matsc-at-sics-se
  3

• [BUG] Choco-solver 4.10.13: wrong solution

  #1037 opened 2 years ago by matsc-at-sics-se
  1

• [BUG] Choco-solver 4.10.13: index out of bounds

  #1036 opened 2 years ago by matsc-at-sics-se
  1

• [BUG] Choco-solver 4.10.13: missing solution

  #1034 opened 2 years ago by matsc-at-sics-se
  1