This binary package contains DVS (pronounced ``devious''). See file
VERSION for version information. See file DISCLAIMER for copyright
notice. For more information (man pages and other binary
distributions) check out the DVS web page:

       http://www.cs.colorado.edu/~carzanig/dvs

Contact: Antonio Carzaniga <carzanig@cs.colorado.edu>
