[SMT-LIB] SMT-LIB now available via rsync

Morgan Deters mdeters at cs.nyu.edu
Thu Jul 8 12:50:48 EDT 2010


Hi everyone,

We've had a few recent requests for an easily-updatable repository of
benchmarks, and have set one up using rsync.  (Some have requested a
git repository for benchmarks, but git proved to have difficulty with
the size of the SMT-LIB benchmark repository.)

You can get SMT-LIB v1 and SMT-LIB v2 benchmark repositories from

  rsync://smtexec.org/smtlib1/

and

  rsync://smtexec.org/smtlib2/

respectively.  To list benchmarks in a directory of the repository,
you can use (e.g.)

  $ rsync rsync://smtexec.org/smtlib2/QF_UF/

To pull a set of benchmarks, you can use (e.g.)

  $ rsync -azv rsync://smtexec.org/smtlib2/QF_UF/QG-classification/loops6 .

The same command is then used to update your repository.

Morgan
-- 
Morgan Deters
mdeters at cs.nyu.edu


More information about the SMT-LIB mailing list