<div dir="ltr"><div>MiniZinc</div><div><br></div>I'd say it is. There is a lot of preprocessing already on the high level, e.g., for logical expressions. Then, some more when linearizing. See our paper<div><br></div><div><span class="gmail-pubAuthors" style="box-sizing:border-box;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace.</span><span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"> </span><span class="gmail-pubTitle" style="box-sizing:border-box;font-weight:bold;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Improved Linearization of Constraint Programming Models.</span><span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"> </span><span class="gmail-pubVenue" style="box-sizing:border-box;font-style:italic;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">In M. Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. LNCS 9892, pp. 49-65, Springer,</span><span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"> </span><span class="gmail-pubYear" style="box-sizing:border-box;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">2016.</span><br><div class="gmail_extra"><br><div class="gmail_quote">On 5 October 2017 at 16:09, <span dir="ltr"><<a href="mailto:cbc-request@coin-or.org" target="_blank">cbc-request@coin-or.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Send Cbc mailing list submissions to<br>
<a href="mailto:cbc@list.coin-or.org">cbc@list.coin-or.org</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
<a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=mzJGkRorCZhAPHf4MlJyeoRAi8yNupLG9ozyA0Rd30E&m=3tIIXZ_6yxTOlX3IZtmuBm_DEaHdlSiVwAS88s8XCEE&s=HqgYu9qVpV56PME08hKcj3-eX2BAW4JZ5VuUZyhvbWA&e=" rel="noreferrer" target="_blank">https://urldefense.proofpoint.<wbr>com/v2/url?u=https-3A__list.<wbr>coin-2Dor.org_mailman_<wbr>listinfo_cbc&d=DwICAg&c=Ngd-<wbr>ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLx<wbr>WPA_2Wlc4&r=<wbr>mzJGkRorCZhAPHf4MlJyeoRAi8yNup<wbr>LG9ozyA0Rd30E&m=3tIIXZ_<wbr>6yxTOlX3IZtmuBm_<wbr>DEaHdlSiVwAS88s8XCEE&s=<wbr>HqgYu9qVpV56PME08hKcj3-<wbr>eX2BAW4JZ5VuUZyhvbWA&e=</a><br>
or, via email, send a message with subject or body 'help' to<br>
<a href="mailto:cbc-request@list.coin-or.org">cbc-request@list.coin-or.org</a><br>
<br>
You can reach the person managing the list at<br>
<a href="mailto:cbc-owner@list.coin-or.org">cbc-owner@list.coin-or.org</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Cbc digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
1. Re: Cbc Digest, Vol 122, Issue 7<br>
(Bj?rn Sigurd Johansen (Spider Solutions AS))<br>
<br>
<br>
------------------------------<wbr>------------------------------<wbr>----------<br>
<br>
Message: 1<br>
Date: Thu, 5 Oct 2017 05:09:34 +0000<br>
From: Bj?rn Sigurd Johansen (Spider Solutions AS)<br>
<<a href="mailto:bjorn.sigurd.johansen@spidersolutions.no">bjorn.sigurd.johansen@<wbr>spidersolutions.no</a>><br>
To: Gleb Belov <<a href="mailto:gleb.belov@monash.edu">gleb.belov@monash.edu</a>>, "<a href="mailto:cbc@coin-or.org">cbc@coin-or.org</a>"<br>
<<a href="mailto:cbc@coin-or.org">cbc@coin-or.org</a>><br>
Subject: Re: [Cbc] Cbc Digest, Vol 122, Issue 7<br>
Message-ID:<br>
<<a href="mailto:DB3PR08MB0185AE4EE97E577615C32A83D9700@DB3PR08MB0185.eurprd08.prod.outlook.com">DB3PR08MB0185AE4EE97E577615C3<wbr>2A83D9700@DB3PR08MB0185.<wbr>eurprd08.prod.outlook.com</a>><br>
<br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Such as / which do you recommend ?<br>
<br>
Will they provide better solutions through ?intelligent? mapping to CBC, or ?only? a simpler interface?<br>
<br>
<br>
* Bjorn<br>
<br>
From: Cbc [mailto:<a href="mailto:cbc-bounces@coin-or.org">cbc-bounces@coin-or.<wbr>org</a>] On Behalf Of Gleb Belov<br>
Sent: torsdag 5. oktober 2017 03:13<br>
To: <a href="mailto:cbc@coin-or.org">cbc@coin-or.org</a><br>
Subject: Re: [Cbc] Cbc Digest, Vol 122, Issue 7<br>
<br>
Hi Bjorn,<br>
<br>
you can use high-level modeling languages which interface CBC and take care of non-linearities and global constraints.<br>
<br>
Gleb<br></blockquote></div>
</div></div></div>