[SMTCOMP] n-queens SMT benchmarks available

[Leonardo de Moura]

Hi,

Hyondeuk (Univ. Colorado at Boulder) submitted several benchmarks  
based on the n-queens problem.
They can be downloaded at:

http://www.csl.sri.com/users/demoura/smt-comp/benchmarks.shtml

Leonardo