let
copy_solver solver =
{ solver
with
constraints =
S
.copy solver.constraints }