[SCIP] CNF + Objective Function

[Gregor Hendel]

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
> https://listserv.zib.de/mailman/listinfo/scip

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