/api/python/v0/experimental/solvers/integer_interval/
/api/python/v0.13/experimental/solvers/integer_interval