Currently this is only possible with intvars, which is problematic for optimization problems, where `get_value()` does not work.