[SCIP] CNF + Objective Function
Gregor Hendel
hendel at zib.de
Thu Mar 29 17:23:43 CEST 2018
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>
More information about the Scip
mailing list