Towards Distributed Constraint Solving with CRDT. - Hakan Hasan; Pierre Talbot (PaPoC@EuroSys, 2026)