--
You received this message because you are subscribed to the Google Groups "or-tools-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to or-tools-discu...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/or-tools-discuss/c7940c04-0d3d-4dda-a052-e6ef2755b22cn%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/or-tools-discuss/915a0074-7c5b-4f49-b423-9e5a629f6344n%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/or-tools-discuss/01798c77-1f47-46a3-b517-296972648f07n%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/or-tools-discuss/923aceec-9190-4809-8bf1-898e3ed1d3edn%40googlegroups.com.