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