Closed elliot-laster-ezc closed 8 months ago
Hi @elliot-laster-ezc, thanks for the PR! It looks like Python uses:
z = model.NewIntVarFromDomain(cp_model.Domain.FromValues([2, 3, 4, 7]), "z")
so think we should go with:
z = model.new_int_var_from_domain(ORTools::Domain.from_values([2, 3, 4, 7]), "z")
for consistency. Also, please leave out the changes to .gitignore
.
Cleaning up stale PRs
Adds the ability to define an int var with a list of integers as a domain. Don't love the long method name, and maybe we could use overloading?