Small correctness fixes#214

Merged

zayenz merged 5 commits into

mainfrom

feature/small-correctness-fixes

Jul 10, 2026

Commits on Jul 10, 2026

flatzinc: include upper bound in restart uniform values
Mikael Zayenz Lagerkvist
committed
cmake: preserve config.hpp mtime when unchanged
Mikael Zayenz Lagerkvist
committed
search: notify cpprofiler before disconnecting
Mikael Zayenz Lagerkvist
committed
flatzinc: reject reversed uniform restart ranges
Mikael Zayenz Lagerkvist
committed
rebase: preserve FlatZinc restart sampling helper
Mikael Zayenz Lagerkvist
committed