[Scip] Max-SAT Evaluation 2013

[Stefan Heinz]

Upps Masahiro,


sorry that we forgot to reply to you earlier. Please go ahead and use 
SCIP for this competition.

All the best
Stefan

On 02/24/2013 06:14 PM, michael.winkler at zib.de wrote:
> Hi Masahiro,
>
> as far as I know, there aren't any plans for now to submit SCIP to the
> Max-Sat Competition.
>
> Best, Michael
>
>> Hi all,
>>
>> Is there any plan to submit SCIP to Max-SAT Evaluation 2013?
>> http://maxsat.ia.udl.cat/introduction/
>>
>> If there are no plans and if you do not mind, I'd like to submit SCIP to
>> it.
>> And attached scip-maxsat.cpp is my initial attempt to build a Max-SAT
>> frontend for SCIP.
>>
>> Regards,
>>
>> -- Masahiro
>> _______________________________________________
>> Scip mailing list
>> Scip at zib.de
>> http://listserv.zib.de/mailman/listinfo/scip
>>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip