The changes from https://github.com/Quantinuum/tket2/pull/1875 need to be propagated to the Sol bindings here.
The changes from Quantinuum/tket2#1875 need to be propagated to the Sol bindings here.