Fixes potentially outdated value of getVal#993

Open

mmghannam wants to merge 3 commits intomasterfrom

fix-updating-best-sol

Commits on May 14, 2025

Fixes potentially outdated value of getVal
mmghannam
committed

Commits on Jun 17, 2025

Fix funny error
Joao-Dionisio
committed

Commits on Jul 26, 2025

Merge branch 'master' into fix-updating-best-sol
mmghannam
authored