Skip to content

Develop 5.0 #76

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
radsz wants to merge 264 commits into
base: develop
from
Open

Develop 5.0 #76

Changes from all commits
Commits
Show all changes
264 commits
Select commit Hold shift + click to select a range
8ff2f8e
more refactoring to get multi-module build
radsz Jan 17, 2026
15dfae5
more moving around for multi-module
radsz Jan 17, 2026
d23b635
improving added code, one test failed
radsz Jan 17, 2026
be7962f
checkstyle config broken for parent
radsz Jan 17, 2026
f73c524
spotless formatting
radsz Jan 17, 2026
bc07e83
migrating to Java 25
radsz Jan 17, 2026
7f178b5
upgrading checkstyle
radsz Jan 17, 2026
cd59a4c
running inspections
radsz Jan 17, 2026
4d8d01b
rewrite executed
radsz Jan 17, 2026
3fe53e5
more inspections
radsz Jan 18, 2026
87e8272
more code inspections
radsz Jan 18, 2026
48cbf83
more inspections
radsz Jan 18, 2026
f1e1e1c
refactoring jacop-examples
radsz Jan 18, 2026
620f43b
adding example based tests for set and floats
radsz Jan 18, 2026
4d5bea1
adding ExampleBasedTest for flatzinc module
radsz Jan 18, 2026
6506cdb
more examples renames
radsz Jan 18, 2026
187c705
upgrading versions in pom file
radsz Jan 18, 2026
0421759
rewrite cleanup
radsz Jan 18, 2026
b6cdf89
version 4.11 imported through zip file
radsz Jan 18, 2026
98b7d16
migrating to 4.11 and multi-module
radsz Jan 18, 2026
0197b3e
open rewrite updates
radsz Jan 18, 2026
8e87b97
reverting broken change for MagicSquares
radsz Jan 19, 2026
7a9c5fe
aligning spotless and rewrite
radsz Jan 18, 2026
62f6349
migration to assertj-core
radsz Jan 18, 2026
44636f0
analyze checkstyle script, few cleanups
radsz Jan 18, 2026
80a5f2a
intelij IDE code reformattings
radsz Jan 19, 2026
4031d9f
adding missed changelog
radsz Jan 20, 2026
b00c222
removing deprecated functionality
radsz Jan 20, 2026
636d128
code inspection changes
radsz Jan 21, 2026
556fd14
more code inspection corrections
radsz Jan 21, 2026
bc5e2c9
code inspection changes
radsz Jan 23, 2026
7e9fb07
code inspection updates
radsz Jan 23, 2026
e7a8440
removing commented out code
radsz Jan 23, 2026
9b4bbc9
migrating to junit 5
radsz Jan 24, 2026
105a55c
setting future version to 5.0
radsz Jan 24, 2026
8ccfd95
one version for all modules
radsz Jan 24, 2026
2f89a23
reformatting
radsz Jan 24, 2026
b113185
moving declarations closer, or final, changing to 5
radsz Jan 24, 2026
29e7986
removing duplication
radsz Jan 24, 2026
cb1a6eb
more code duplication removal
radsz Jan 24, 2026
3a24481
more duplication removal
radsz Jan 24, 2026
a5e378b
more cleanup
radsz Jan 24, 2026
99b4724
avoiding raw usage of parametrized class
radsz Jan 24, 2026
e3d4cb7
starting using lombok
radsz Jan 25, 2026
e3b8e09
using lombok slf4j annotation, and switching to logging instead of pr…
radsz Jan 25, 2026
6057357
moving back to java.util classes
radsz Jan 25, 2026
734536f
Using lombok more
radsz Jan 25, 2026
cd25e5a
suppressing some warnings
radsz Jan 25, 2026
2ffa6a7
improving interval domain
radsz Jan 25, 2026
97cb300
more changes to IntervalDomain
radsz Jan 25, 2026
812d016
fzn exec script
radsz Jan 25, 2026
5feb412
more changes to IntervalDomain
radsz Jan 25, 2026
6e59b3f
adding jacop-all module under all profile
radsz Jan 25, 2026
1aecf34
more improvements to IntervalDomain
radsz Jan 25, 2026
9ec45cf
adding margin to reduce allocations up to 75%
radsz Jan 25, 2026
6dba1a5
various cleanup
radsz Jan 26, 2026
81a9d41
addressing some checkstyle complaints
radsz Jan 26, 2026
77d5410
addressing checkstyle complaints
radsz Jan 26, 2026
6aab774
removing old minizinc mappings
radsz Jan 27, 2026
caf0f27
checkstyle issues fixed
radsz Jan 27, 2026
c10cbfd
more checkstyle improvements
radsz Jan 27, 2026
827dad1
more checkstyle fixes
radsz Jan 27, 2026
42b1338
checkstyle fixes
radsz Jan 27, 2026
82f4470
more checkstyle
radsz Jan 27, 2026
0647929
checkstyle improvements
radsz Jan 28, 2026
5dd94a0
overloading moving
radsz Jan 30, 2026
1216ab0
checkstyle
radsz Jan 30, 2026
f142881
checkstyle fixes
radsz Jan 30, 2026
c3e9f7e
more checkstyle fixes
radsz Jan 31, 2026
c172ac5
checkstyle improvements
radsz Jan 31, 2026
d8bf20a
var distance
radsz Jan 31, 2026
f6fb99a
addressing more checkstyle
radsz Jan 31, 2026
5cf024a
more checkstyle fixes
radsz Jan 31, 2026
366247e
addressing checkstyle complaints
radsz Feb 4, 2026
28ebd23
addressing checkstyle complaints
radsz Feb 5, 2026
bdf8fca
addressing checkstyle complaints
radsz Feb 5, 2026
94d673a
adapting checkstyle, suppression since spotless takes care of this rule
radsz Feb 5, 2026
15bbad9
Adding SummaryJavadoc elements
radsz Feb 6, 2026
c517688
removing some issues reported by pmd
radsz Feb 6, 2026
6de9533
missed class renames
radsz Feb 7, 2026
7fbe42f
pmd fixes
radsz Feb 7, 2026
3251d57
addressing pmd complaints
radsz Feb 7, 2026
b484e75
.gitignore adaptations
radsz Feb 7, 2026
000b598
last pmd fixes
radsz Feb 7, 2026
77ae25e
suppress pmd so no need for star import
radsz Feb 7, 2026
8291144
generating javadoc comments
radsz Feb 7, 2026
a3726d3
case insensitive isssue fix
radsz Feb 8, 2026
cfda8b5
improving javadoc
radsz Feb 8, 2026
d52c3e3
addressing build warnings
radsz Feb 8, 2026
b78a767
adapting copyright notice and version number
radsz Feb 8, 2026
9763540
adding fast profile
radsz Feb 8, 2026
b8685fe
addressing high reliability sonar complaints
radsz Feb 8, 2026
c353264
removing code duplications
radsz Feb 9, 2026
518ee0f
removing commented out code
radsz Feb 10, 2026
311627f
duplication removed in FSM
radsz Feb 10, 2026
f764a99
constants having proper name
radsz Feb 10, 2026
a1bac54
addressing some sonar complaints
radsz Feb 10, 2026
c3e4c67
removing more sonar complaints
radsz Feb 10, 2026
e9d4bc7
more complaints addressed
radsz Feb 10, 2026
9efc49a
removing duplications complaints
radsz Feb 10, 2026
7a59e8b
removing more duplications
radsz Feb 11, 2026
c4a68b1
more duplications removed
radsz Feb 11, 2026
9802548
removing more duplications
radsz Feb 11, 2026
0db8122
removing more duplications
radsz Feb 11, 2026
6da337e
more duplications removed
radsz Feb 11, 2026
ce96bbb
more duplications removed
radsz Feb 11, 2026
c73d08f
more duplications removed
radsz Feb 11, 2026
a958ed8
addressing sonar complaints
radsz Feb 14, 2026
41e77d9
addressing sonar complaints
radsz Feb 14, 2026
f2bddcb
addressing some Sonar complaints
radsz Feb 14, 2026
44abfe3
addressing Sonar complaints
radsz Feb 14, 2026
cd9192b
addressing Sonar complaints
radsz Feb 14, 2026
214c766
more improvements
radsz Feb 14, 2026
000f550
more improvements
radsz Feb 14, 2026
b50c0a1
reducing public usage
radsz Feb 14, 2026
1137062
reducing sonar complaints
radsz Feb 14, 2026
2b342af
reducing more sonar complaints
radsz Feb 14, 2026
7d6d3a1
fixing more issues
radsz Feb 14, 2026
05593f0
test
radsz Feb 14, 2026
78cba20
fixing more issues
radsz Feb 14, 2026
2dc11e0
fixing more complaints
radsz Feb 14, 2026
65beef7
reducing cognitive load
radsz Feb 14, 2026
d6228df
removing duplication from IntervalDomain
radsz Feb 14, 2026
e0b228c
reducing code duplications
radsz Feb 14, 2026
e854484
removing duplications
radsz Feb 14, 2026
696ec54
removing code duplications
radsz Feb 14, 2026
9a1fcb2
removing code duplications
radsz Feb 15, 2026
b679011
removing code duplications
radsz Feb 15, 2026
ae992a9
removing blocker complaint
radsz Feb 15, 2026
a8f2b80
solution changed, optimal still
radsz Feb 15, 2026
3d54a0d
reducing code duplication
radsz Feb 15, 2026
ddac1ef
removing duplications
radsz Feb 15, 2026
21975a4
removing duplications
radsz Feb 15, 2026
fbca45e
Fix ~60 SonarQube issues: empty method bodies, replaceAll, naming, st…
radsz Feb 15, 2026
4ff1b6e
Extract duplicate string literals into constants across all modules
radsz Feb 15, 2026
7ebccc7
Fix serialization, multi-threading, and wildcard type issues
radsz Feb 15, 2026
7c0ae75
Reduce cognitive complexity of ~30 methods (CC 16-18 to 15 or below)
radsz Feb 15, 2026
630a744
Reduce cognitive complexity of ~55 methods (CC 18-29 range to 15 or b…
radsz Feb 15, 2026
36cee0e
Reduce cognitive complexity of ~30 methods (CC 25-59 range to 15 or b…
radsz Feb 15, 2026
d663bdc
Reduce cognitive complexity across flatzinc, floats, sat, and remaini…
radsz Feb 15, 2026
634f6ad
Reduce cognitive complexity of ~45 more methods including search, Cum…
radsz Feb 15, 2026
22e0c78
Reduce CC of heavy methods: Regular, Diffn, Disjoint, Profile, GCC, S…
radsz Feb 15, 2026
00ade8e
Reduce CC in SmallDenseDomain, IntervalBasedBacktrackableManager, and…
radsz Feb 15, 2026
2d032c3
Reduce CC of DepthFirstSearch, Binpacking, ExtensionalSupportStr, fla…
radsz Feb 15, 2026
84734d5
Reduce CC in Muca, LinearConstraints, FloatDomain, DefaultClausesData…
radsz Feb 15, 2026
65b929d
Reduce CC in FloatIntervalDomain, Profile, ProfileConditional, SumBoo…
radsz Feb 15, 2026
667eca2
Reduce CC in IntervalDomain, CumulativeBasic, and CumulativePrimary w…
radsz Feb 15, 2026
67f303a
Reduce CC in Alldistinct, AbsXeqY, ExtensionalSupportStr, Geost, Cryp…
radsz Feb 15, 2026
2bd8ea3
Fix remaining simple issues and reduce CC across sets, core, flatzinc…
radsz Feb 15, 2026
4fbc0f8
Further reduce CC in FloatIntervalDomain, Regular, Solve, LinearConst…
radsz Feb 15, 2026
0a374f2
Extract analyzeArcLoop helper in Pruning.java to reduce CC
radsz Feb 15, 2026
3e817fb
Extract areaCheck helpers in Diffn to reduce CC
radsz Feb 15, 2026
673b590
removing flaky test with multiple optimal solutions and updating test…
radsz Feb 16, 2026
98421e8
moving TODO and FIXME out of files to separate files for later checks
radsz Feb 21, 2026
618ea74
Fix ~60 SonarQube code smells: naming, dead code, redundant constructs
radsz Feb 21, 2026
4e452b5
Fix ~57 more SonarQube issues: naming conventions and commented-out c…
radsz Feb 21, 2026
f2dd61d
Fix ~45 more SonarQube issues: commented code, typos, and naming
radsz Feb 21, 2026
95fa1be
Fix ~52 more SonarQube issues: naming, commented code, duplicate meth…
radsz Feb 21, 2026
56dc6ce
Fix ~65 more SonarQube issues: naming across examples, core, flatzinc…
radsz Feb 21, 2026
4d27f7f
adding skill for minizinc and jacop
radsz Feb 22, 2026
a71090b
extending bechmarks with meta information, adding constraint family b…
radsz Feb 22, 2026
e0e5605
adding benchmarks, migrating asserts to guarded if statement
radsz Feb 26, 2026
e28d344
Fix ~50 low-risk Sonar issues in core and flatzinc.
radsz Feb 26, 2026
2b722a8
Fix another ~50 trivial Sonar issues across core/floats/sets.
radsz Feb 27, 2026
f7197a5
Fix more trivial Sonar override warnings in SAT and FlatZinc utilities.
radsz Feb 27, 2026
c1902ea
Clean up another trivial Sonar batch in netflow and cumulative.
radsz Feb 27, 2026
4332e9d
Address another trivial Sonar batch in netflow pruning code.
radsz Feb 27, 2026
92bfb0a
Apply another trivial Sonar batch across cumulative and example modules.
radsz Feb 27, 2026
49b0d61
Address another trivial Sonar batch in Diff/Cumulative constructors.
radsz Feb 27, 2026
fb540c7
Fix another trivial Sonar batch in diffn decomposition and examples.
radsz Feb 27, 2026
03606ae
Address another low-risk Sonar toArray batch in core constraints.
radsz Feb 27, 2026
4ffe67b
using logging more extensively
radsz Feb 27, 2026
3552a23
Address another low-risk Sonar batch in core and benchmarks.
radsz Feb 27, 2026
dd16f1e
Address another low-risk Sonar batch in core constraints.
radsz Feb 27, 2026
9f4ef54
Address another low-risk Sonar batch in geost, regular, and knapsack.
radsz Feb 27, 2026
a9f4094
Address another low-risk Sonar batch across geost, netflow, and diffn.
radsz Feb 27, 2026
fbf6cf6
Address another low-risk Sonar batch in search, util, and core.
radsz Feb 27, 2026
7f44da7
Address another low-risk Sonar batch in core domain internals.
radsz Feb 27, 2026
176cd5a
Address another low-risk Sonar batch in core domains.
radsz Feb 27, 2026
91b2e4c
Address another low-risk Sonar micro-batch in core domains.
radsz Feb 27, 2026
b363d52
Address another low-risk Sonar batch in SmallDenseDomain.
radsz Feb 27, 2026
02fbf3b
Address another low-risk Sonar batch in IntervalDomain.
radsz Feb 27, 2026
8d51354
Address another low-risk Sonar batch in IntervalDomain invariants.
radsz Feb 27, 2026
1666ebe
Address another low-risk Sonar batch across core domains.
radsz Feb 27, 2026
aeb0ae7
Address another low-risk Sonar micro-batch in constraints.
radsz Feb 27, 2026
56820e5
Address another low-risk Sonar micro-batch in constraints.
radsz Feb 27, 2026
eb285bc
Address another low-risk Sonar micro-batch in constraints.
radsz Feb 27, 2026
92e30a5
Address another low-risk Sonar batch in constraints constructors.
radsz Feb 27, 2026
07ed1e8
Address another low-risk Sonar micro-batch in CumulativeBasic.
radsz Feb 27, 2026
78b4581
Address another low-risk Sonar micro-batch in search and util.
radsz Feb 27, 2026
63e2184
Address another low-risk Sonar batch in constraint constructors.
radsz Feb 27, 2026
3f1aaa9
Address another low-risk Sonar micro-batch in core logging switches.
radsz Feb 27, 2026
6d9f3a8
Address another low-risk Sonar micro-batch in Geost.
radsz Feb 27, 2026
5829e4e
Address another low-risk Sonar micro-batch in float linear constraint.
radsz Feb 27, 2026
228fb9e
Address another low-risk Sonar micro-batch in examples tests.
radsz Feb 27, 2026
6dceb5c
Address another low-risk Sonar micro-batch in FloatIntervalDomain.
radsz Feb 27, 2026
fb2d3af
Address another low-risk Sonar micro-batch in SAT utility structures.
radsz Feb 27, 2026
4a5a955
Address another low-risk Sonar batch in SAT utilities.
radsz Feb 27, 2026
41f4596
Address another low-risk Sonar batch in SAT modules.
radsz Feb 27, 2026
a35decb
Address another low-risk Sonar batch in SAT trail handling.
radsz Feb 27, 2026
fe48634
Address another low-risk Sonar batch in SAT clause databases.
radsz Feb 27, 2026
139a120
Address another low-risk Sonar batch in SAT core logic.
radsz Feb 27, 2026
548f15d
Address another low-risk Sonar batch in SAT domain translation and st…
radsz Feb 27, 2026
23f9aad
Address another low-risk Sonar batch in SAT wrapper listeners.
radsz Feb 27, 2026
5842790
Address another low-risk Sonar batch in default SAT clause database.
radsz Feb 27, 2026
13fc7d2
Address another low-risk Sonar batch in SAT core engine.
radsz Feb 27, 2026
7e65e30
Address another low-risk Sonar batch in float and example assertions.
radsz Feb 27, 2026
9d26cf1
Address another low-risk Sonar batch in sets and float interval asser…
radsz Feb 27, 2026
16b92c3
Address another low-risk Sonar batch in FloatIntervalDomain assertions.
radsz Feb 27, 2026
f914f72
Address Sonar public-modifier complaints in JUnit tests.
radsz Feb 27, 2026
d948d6b
Address low-risk Sonar cleanup batch across core and tests.
radsz Feb 27, 2026
cd24b7b
Address another low-risk Sonar cleanup batch across core and handlers.
radsz Feb 27, 2026
65b1794
Address another low-risk Sonar cleanup batch in tests and guards.
radsz Feb 27, 2026
4b329c3
Address another low-risk Sonar cleanup batch for redundant numeric ca…
radsz Feb 27, 2026
db6fe1d
Address another low-risk Sonar cleanup batch for negated condition si…
radsz Feb 27, 2026
fbe17be
Address another low-risk Sonar cleanup batch in SAT wrapper assertions.
radsz Feb 27, 2026
ddb5696
Address another low-risk Sonar cleanup batch for overlap-condition si…
radsz Feb 27, 2026
f8914fd
Move benchmark utility tools to main sources.
radsz Feb 27, 2026
8a3030f
Address 80+ low-risk Sonar unused-args complaints in examples.
radsz Feb 27, 2026
2420d47
Silence unused-args warnings in set example entrypoints.
radsz Feb 27, 2026
c325b22
Remove unused private helper methods in core search/domain classes.
radsz Feb 27, 2026
d289f42
Add missing Override annotations on Object override methods.
radsz Feb 27, 2026
b987768
removing unnecessary parameters
radsz Feb 28, 2026
f5ddc98
Fix first Sonar cleanup batch in examples.
radsz Feb 28, 2026
e0c8b39
Expand Sonar naming cleanup in examples module.
radsz Feb 28, 2026
25cb007
Continue Sonar naming cleanups in example models.
radsz Feb 28, 2026
fcf6262
Continue Sonar naming cleanup in jacop-floats.
radsz Feb 28, 2026
98c38a1
Continue Sonar naming cleanup in float constraints.
radsz Feb 28, 2026
d494a88
Continue Sonar naming cleanup in FloatDomain helpers.
radsz Feb 28, 2026
2c9bbdb
Add missing Javadocs for FloatDomain bound operations.
radsz Feb 28, 2026
d115983
Continue Sonar naming cleanup in examples utilities.
radsz Feb 28, 2026
1525dd3
Restore XneqY helper naming in Sudoku.
radsz Feb 28, 2026
649bd37
Continue Sonar naming cleanup in puzzle examples.
radsz Feb 28, 2026
a66b992
Address variable distance warning in FloatIntervalDomain.
radsz Feb 28, 2026
1c516cc
Continue Sonar naming cleanup in float linear constraints.
radsz Feb 28, 2026
bbc9285
Continue Sonar cleanup in core GCC and triage notes.
radsz Feb 28, 2026
4c3bdaf
Continue Sonar cleanup in jacop-core naming hotspots.
radsz Feb 28, 2026
dc3e73e
Continue Sonar cleanup in core profile and search helpers.
radsz Feb 28, 2026
073e58f
Continue Sonar cleanup in core parameter naming.
radsz Feb 28, 2026
6d88799
Continue Sonar cleanup in core arithmetic and netflow helpers.
radsz Feb 28, 2026
087ab21
Continue Sonar cleanup in core table and matching helpers.
radsz Feb 28, 2026
6a3cab8
Continue Sonar cleanup in AbsXeqY and Cumulative parameter names.
radsz Feb 28, 2026
e3ece7a
Continue Sonar cleanup in among/cumulative/diffn helper parameters.
radsz Feb 28, 2026
e476fe4
Continue Sonar cleanup in disjoint and diffn helper naming.
radsz Feb 28, 2026
f55dcb3
adding domain test
radsz Mar 7, 2026
b2f9af2
Fix 50 checkstyle violations: parameter names, javadoc, ParenPad, and…
radsz Mar 7, 2026
0d45adf
Continue Sonar cleanup: method naming, declaration order, and null-ch…
radsz Mar 11, 2026
54ffb09
addressing some complaints
radsz Mar 14, 2026
0443bf9
improvements in queueVariable
radsz Mar 15, 2026
8972bf2
Fix all SonarQube reliability complaints across modules
radsz Mar 15, 2026

Sorry, this diff is taking too long to generate.

It may be too large to display on GitHub.