[SCIP] CNF + Objective Function

[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> 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 listScip at zib.dehttps://listserv.zib.de/mailman/listinfo/scip
>
>
>


-- 
Vincent Mirian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20180329/cd80122c/attachment.html>