[SMTCOMP] Sudoku based instances

[Hyondeuk.Kim@colorado.edu]

Yeah, I think they are interesting.

Hyondeuk

Quoting "Paulo J. Matos" <pocmatos at gmail.com>:

> Hi all,
>
> I have generated some sudoku based instances. Would those be
> interesting for SMTCOMP?
> Want me to send them in?
>
> 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
>