[SCIP] CNF + Objective Function

[Gregor Hendel]

Dear Vincent,

it is all written in our *online documentation*, see the second section 
here:

http://scip.zib.de/doc-5.0.1/html/SHELL.php

In general, it is highly appreciated if new users try to to scroll 
through the getting started section of the SCIP online documentation.

Best,
Gregor

Am 29.03.2018 um 18:20 schrieb Vincent Mirian:
> Thank you for the reply Gregor.
>
> If I understand correctly, SCIP enables the user to convert between 
> file formats. I would appreciate if you can provide details on how to 
> perform this task.
>
> Regards.
>
> On Thu, Mar 29, 2018 at 11:23 AM, Gregor Hendel <hendel at zib.de 
> <mailto:hendel at zib.de>> wrote:
>
>     Dear Vincent,
>
>     this is a very broad question that depends also on the scale of
>     your instance. I would probably start every possible answer with
>     the advice to choose a different file format, as CNF does not
>     support objective functions, as far as I can see, at least no
>     arbitrary objective functions.
>
>     You can use SCIP to convert your instance into a different file
>     format, see our documentation for a list of available formats. If
>     you intend to manually edit the instance, CIP is a good format,
>     for pasting in an objective function with a script, the LP format
>     is probably good.
>
>     Happy converting,
>     Gregor
>
>
>
>
>     Am 29.03.2018 um 17:04 schrieb Vincent Mirian:
>>     Hi all.
>>
>>     I have a problem described in CNF. I would like to add an
>>     objective function for SCIP to solve the CNF. How would be able
>>     to complete this task? What are the steps needed to enable SCIP
>>     to solve the CNF with an objective function?
>>
>>     Thank you.
>>     -- 
>>     Vincent Mirian
>>
>>
>>     _______________________________________________
>>     Scip mailing list
>>     Scip at zib.de <mailto:Scip at zib.de>
>>     https://listserv.zib.de/mailman/listinfo/scip
>>     <https://listserv.zib.de/mailman/listinfo/scip>
>
>
>
>
> -- 
> Vincent Mirian

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20180401/5232d9f1/attachment.html>