[Cbc] Cbc Digest, Vol 122, Issue 9

[Gleb Belov]

MiniZinc

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

Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace. Improved
Linearization of Constraint Programming Models. 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, 2016.

On 5 October 2017 at 16:09, <cbc-request at coin-or.org> wrote:

> Send Cbc mailing list submissions to
>         cbc at list.coin-or.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=mzJGkRorCZhAPHf4MlJyeoRAi8yNup
> LG9ozyA0Rd30E&m=3tIIXZ_6yxTOlX3IZtmuBm_DEaHdlSiVwAS88s8XCEE&s=
> HqgYu9qVpV56PME08hKcj3-eX2BAW4JZ5VuUZyhvbWA&e=
> or, via email, send a message with subject or body 'help' to
>         cbc-request at list.coin-or.org
>
> You can reach the person managing the list at
>         cbc-owner at list.coin-or.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Cbc digest..."
>
>
> Today's Topics:
>
>    1. Re: Cbc Digest, Vol 122, Issue 7
>       (Bj?rn Sigurd Johansen (Spider Solutions AS))
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Thu, 5 Oct 2017 05:09:34 +0000
> From: Bj?rn Sigurd Johansen (Spider Solutions AS)
>         <bjorn.sigurd.johansen at spidersolutions.no>
> To: Gleb Belov <gleb.belov at monash.edu>, "cbc at coin-or.org"
>         <cbc at coin-or.org>
> Subject: Re: [Cbc] Cbc Digest, Vol 122, Issue 7
> Message-ID:
>         <DB3PR08MB0185AE4EE97E577615C32A83D9700 at DB3PR08MB0185.
> eurprd08.prod.outlook.com>
>
> Content-Type: text/plain; charset="utf-8"
>
> Such as / which do you recommend ?
>
> Will they provide better solutions through ?intelligent? mapping to CBC,
> or ?only? a simpler interface?
>
>
>   *   Bjorn
>
> From: Cbc [mailto:cbc-bounces at coin-or.org] On Behalf Of Gleb Belov
> Sent: torsdag 5. oktober 2017 03:13
> To: cbc at coin-or.org
> Subject: Re: [Cbc] Cbc Digest, Vol 122, Issue 7
>
> Hi Bjorn,
>
> you can use high-level modeling languages which interface CBC and take
> care of non-linearities and global constraints.
>
> Gleb
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20171005/f1c56722/attachment.html>