[SMTCOMP] Sudoku based instances

[Cesare Tinelli]

Hi Paulo,

Paulo J. Matos wrote:
> Hi all,
> 
> I have generated some sudoku based instances. Would those be
> interesting for SMTCOMP?
> Want me to send them in?
>
Thanks a lot for the offer. But I think that the goals of SMT-LIB and 
SMT-COMP would be better served by different classes of benchmarks, as 
nicely explained by Bruno in his reply.

Best,


Cesare



> Cheers,
> --
> Paulo Jorge Matos - pocm at sat inesc-id pt
> Web: http://sat.inesc-id.pt/~pocm
> Computer and Software Engineering
> INESC-ID - SAT Group
>