chocoteam choco-solver issues

chocoteam / choco-solver

An open-source Java library for Constraint Programming

http://choco-solver.org/

BSD 4-Clause "Original" or "Old" License

690 stars 143 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[BUG] Clause learning broken since Choco 4.10.14

#1118 Holt59 opened 1 week ago
2
Fix faulty behaviour of #1114

#1117 ArthurGodet opened 1 week ago
1
Fix unexpected behaviour when using neg() intvar in arithm (#1115 )

#1116 ArthurGodet opened 1 week ago
0
[BUG] Unexpected behaviour when using neg() intvar in arithm

#1115 ArthurGodet opened 1 week ago
0
[BUG]Unexpected behavior when using Task with scalar

#1114 cprudhom opened 1 week ago
4
Fix bin packing initial propagation

#1113 ArthurGodet closed 2 weeks ago
2
[BUG] BinPacking initial propagation does not detect inconsistency

#1112 cprudhom closed 2 weeks ago
2
[BUG] IntQuickSort.sort may behave incorrectly if left > 0

#1111 niemisto closed 1 week ago
2
Help with Efficient Branching Strategy for Takeoff Slot Allocation Model Using Choco Solver

#1110 Youcef1810 closed 3 weeks ago
1
Set Expressions (with Chainable Format) for Arithmetic and Relational Operations

#1107 gadavidd opened 1 month ago
1
Fixed an error in `increasing` constraint documentation and updated `decreasing` constraint documentation

#1104 tlorieul closed 1 month ago
1
Remove xchart dependency?

#1103 axkr opened 1 month ago
0
[BUG] Bug in PropHybridTable -> ASupport

#1102 dimitri-justeau closed 2 months ago
0
[BUG] java.lang.IllegalArgumentException: Equal objects must have equal hashcodes.

#1101 ptal closed 2 months ago
10
Update publish-snapshot.yml

#1100 cprudhom closed 2 months ago
0
Update actions

#1099 cprudhom closed 2 months ago
0
[BUG] MiniZinc parser crashes on a model with float vars

#1098 SYury opened 6 months ago
3
[BUG] fzn-choco.exe doesn't work

#1097 SYury closed 4 months ago
6
NogoodFromRestarts + ObjectiveStrategy = UnsupportedOperationException

#1096 cprudhom closed 5 months ago
0
[BUG] Incorrect UNSAT for sub_circuit when reified

#1095 ThomSerg closed 6 months ago
2
[BUG] Wrong solution on evm-super-compilation (only in parallel mode)

#1094 ptal opened 6 months ago
2
[BUG] reifiying increasing fails

#1093 cprudhom closed 6 months ago
0
[BUG] INeighborFactory is missing in choco-parsers-4.10.14-light.jar (Github)

#1091 cprudhom closed 6 months ago
1
[BUG] IsEntailed for InverseChanneling not working with negative bounds

#1090 IgnaceBleukx closed 6 months ago
8
[FEATURE] MultivaluedDecisionDiagram : Making the compact method optionnal

#1089 ib31 closed 5 months ago
2
Makes it possible to create a constraint without a propagator

#1088 cprudhom opened 9 months ago
0
[Documentation] Wrong specs in Implied and Reif constraints/propagators

#1087 363734 opened 9 months ago
0
Lazy creation of variables

#1086 cprudhom opened 9 months ago
0
Fix typo in PropKnapsack.java

#1084 paulk-asert closed 9 months ago
0
Fix bug to correctly parse file path #1082

#1083 zy-nesime closed 10 months ago
0
[BUG] Cannot parser args correctly in fzn-choco

#1082 zy-nesime closed 5 months ago
2
[BUG] MiniZinc/Choco 240130, `c90bf40a9`, `count`, wrong solutions

#1081 matsc-at-sics-se closed 9 months ago
1
[BUG] MiniZinc/Choco 240130, `c90bf40a9`, `^`, missing solutions

#1080 matsc-at-sics-se closed 9 months ago
3
[BUG] MiniZinc/Choco 240130, `c90bf40a9`, reified count, missing solutions

#1079 matsc-at-sics-se closed 9 months ago
0
[BUG] MiniZinc/Choco 231102, `aaa1ae7b9`, `network_flow_cost`, missing solution

#1078 matsc-at-sics-se closed 10 months ago
1
[BUG] MiniZinc/Choco 231102, `aaa1ae7b9`, `minimum_arg`, wrong solution

#1077 matsc-at-sics-se closed 10 months ago
1
Fix PropCount_AC wrt bounded domains

#1076 ArthurGodet closed 10 months ago
0
Update headers for 2024

#1075 ArthurGodet closed 10 months ago
2
Minizinc 2.8.1 compatibility issues

#1074 IgnaceBleukx opened 11 months ago
7
Reified global constraints are decomposed in Minizinc parser

#1072 IgnaceBleukx opened 1 year ago
1
Add more Statistics (like peak depth) in Choco-Solver FlatZinc Frontend

#1071 Hedieh-Haddad closed 5 months ago
0
`Settings` object should become immutable once the model is setup

#1070 cprudhom opened 1 year ago
2
Remove randomness by default of BBox strategies

#1069 cprudhom opened 1 year ago
0
Revert "Remove randomness by default of BBox strategies"

#1068 cprudhom closed 1 year ago
0
fix the creation of IntAffineView based on another IntAffineView

#1067 ArthurGodet closed 1 year ago
0
Remove randomness by default of BBox strategies

#1066 cprudhom closed 1 year ago
2
Create of `IntAffineView`

#1065 cprudhom closed 1 year ago
1
Make propagation stops sooner if time limit is met (fix issue #1062)

#1064 ArthurGodet opened 1 year ago
0
Remove `BitsetArrayIntVarImpl`

#1063 cprudhom closed 1 year ago
0
[BUG] Choco does not check for timeout during initialization phase

#1062 mstrojny opened 1 year ago
2