-
Notifications
You must be signed in to change notification settings - Fork 140
Pull requests: chocoteam/choco-solver
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix unexpected behaviour when using neg() intvar in arithm (#1115 )
#1116
opened Nov 17, 2024 by
ArthurGodet
Loading…
Set Expressions (with Chainable Format) for Arithmetic and Relational Operations
#1107
opened Oct 22, 2024 by
gadavidd
Loading…
Make propagation stops sooner if time limit is met (fix issue #1062)
#1064
opened Oct 9, 2023 by
ArthurGodet
Loading…
Bump maven-enforcer-plugin from 3.1.0 to 3.3.0
dependencies
Pull requests that update a dependency file
#1025
opened Apr 4, 2023 by
dependabot
bot
Loading…
Bump checkstyle from 10.6.0 to 10.9.3
dependencies
Pull requests that update a dependency file
#1024
opened Mar 27, 2023 by
dependabot
bot
Loading…
Bump slf4j-simple from 2.0.5 to 2.0.7
dependencies
Pull requests that update a dependency file
#1022
opened Mar 17, 2023 by
dependabot
bot
Loading…
Bump slf4j-nop from 1.7.36 to 2.0.7
dependencies
Pull requests that update a dependency file
#1021
opened Mar 17, 2023 by
dependabot
bot
Loading…
Bump maven-surefire-plugin from 3.0.0-M7 to 3.0.0
dependencies
Pull requests that update a dependency file
#1019
opened Mar 14, 2023 by
dependabot
bot
Loading…
Bump antlr4 from 4.9.3 to 4.12.0
dependencies
Pull requests that update a dependency file
#1013
opened Feb 20, 2023 by
dependabot
bot
Loading…
Bump antlr4-runtime from 4.9.3 to 4.12.0
dependencies
Pull requests that update a dependency file
#1012
opened Feb 20, 2023 by
dependabot
bot
Loading…
Bump maven-javadoc-plugin from 3.4.1 to 3.5.0
dependencies
Pull requests that update a dependency file
#1010
opened Feb 15, 2023 by
dependabot
bot
Loading…
Bump maven-checkstyle-plugin from 3.2.0 to 3.2.1
dependencies
Pull requests that update a dependency file
#992
opened Jan 11, 2023 by
dependabot
bot
Loading…
Bump maven-project-info-reports-plugin from 3.4.1 to 3.4.2
dependencies
Pull requests that update a dependency file
#991
opened Jan 11, 2023 by
dependabot
bot
Loading…
ProTip!
no:milestone will show everything without a milestone.