These are stable Debian packages for CVC4.

To use these, add the following line to /etc/apt/sources.conf (or the equivalent for your distribution):

deb http://cvc4.cs.nyu.edu/debian/ stable/

For development versions since the last stable release, see here.

Thank you for using CVC4!

Icon  Name                                         Last modified      Size  
[DIR] Parent Directory - [   ] Packages 19-Apr-2014 07:36 57K [   ] Packages.bz2 19-Apr-2014 07:36 8.9K [   ] Packages.gz 19-Apr-2014 07:36 9.5K [   ] Release 19-Apr-2014 07:36 1.5K [   ] Sources 19-Apr-2014 07:36 2.2K [   ] Sources.bz2 19-Apr-2014 07:36 1.1K [   ] Sources.gz 19-Apr-2014 07:36 1.0K [   ] cvc4-doc_1.3-1_all.deb 09-Dec-2013 10:33 80K [   ] cvc4_1.3-1.debian.tar.gz 09-Dec-2013 10:33 8.3K [   ] cvc4_1.3-1.dsc 09-Dec-2013 10:33 1.7K [   ] cvc4_1.3-1_amd64.deb 09-Dec-2013 10:32 178K [   ] cvc4_1.3-1_i386.changes 09-Dec-2013 10:33 5.5K [   ] cvc4_1.3-1_i386.deb 09-Dec-2013 10:33 178K [   ] cvc4_1.3.orig.tar.gz 09-Dec-2013 10:33 5.9M [TXT] header.html 09-Apr-2013 18:36 809 [   ] libcvc4-0_1.0-1_amd64.deb 01-Dec-2012 13:45 2.6M [   ] libcvc4-1_1.2-3_amd64.deb 18-Jul-2013 13:13 3.2M [   ] libcvc4-1_1.2-3_i386.deb 18-Jul-2013 13:13 3.1M [   ] libcvc4-2_1.3-1_amd64.deb 09-Dec-2013 10:32 3.7M [   ] libcvc4-2_1.3-1_i386.deb 09-Dec-2013 10:33 3.7M [   ] libcvc4-dev_1.3-1_amd64.deb 09-Dec-2013 10:32 13M [   ] libcvc4-dev_1.3-1_i386.deb 09-Dec-2013 10:33 12M [   ] libcvc4bindings-c-compat-dev_1.3-1_amd64.deb 09-Dec-2013 10:32 80K [   ] libcvc4bindings-c-compat-dev_1.3-1_i386.deb 09-Dec-2013 10:33 76K [   ] libcvc4bindings-c-compat0_1.0-1_amd64.deb 01-Dec-2012 13:45 67K [   ] libcvc4bindings-c-compat1_1.2-3_amd64.deb 18-Jul-2013 13:13 68K [   ] libcvc4bindings-c-compat1_1.2-3_i386.deb 18-Jul-2013 13:13 71K [   ] libcvc4bindings-c-compat2_1.3-1_amd64.deb 09-Dec-2013 10:32 69K [   ] libcvc4bindings-c-compat2_1.3-1_i386.deb 09-Dec-2013 10:33 71K [   ] libcvc4bindings-java-compat0_1.0-1_amd64.deb 01-Dec-2012 13:45 99K [   ] libcvc4bindings-java-compat1_1.2-3_amd64.deb 18-Jul-2013 13:13 99K [   ] libcvc4bindings-java-compat1_1.2-3_i386.deb 18-Jul-2013 13:13 102K [   ] libcvc4bindings-java-compat2_1.3-1_amd64.deb 09-Dec-2013 10:32 99K [   ] libcvc4bindings-java-compat2_1.3-1_i386.deb 09-Dec-2013 10:33 102K [   ] libcvc4bindings-java0_1.0-1_amd64.deb 01-Dec-2012 13:45 584K [   ] libcvc4bindings-java1_1.2-3_amd64.deb 18-Jul-2013 13:13 594K [   ] libcvc4bindings-java1_1.2-3_i386.deb 18-Jul-2013 13:13 618K [   ] libcvc4bindings-java2_1.3-1_amd64.deb 09-Dec-2013 10:32 611K [   ] libcvc4bindings-java2_1.3-1_i386.deb 09-Dec-2013 10:33 640K [   ] libcvc4compat-dev_1.3-1_amd64.deb 09-Dec-2013 10:32 160K [   ] libcvc4compat-dev_1.3-1_i386.deb 09-Dec-2013 10:33 155K [   ] libcvc4compat0_1.0-1_amd64.deb 01-Dec-2012 13:45 122K [   ] libcvc4compat1_1.2-3_amd64.deb 18-Jul-2013 13:13 133K [   ] libcvc4compat1_1.2-3_i386.deb 18-Jul-2013 13:13 135K [   ] libcvc4compat2_1.3-1_amd64.deb 09-Dec-2013 10:32 135K [   ] libcvc4compat2_1.3-1_i386.deb 09-Dec-2013 10:33 138K [   ] libcvc4parser-dev_1.3-1_amd64.deb 09-Dec-2013 10:32 572K [   ] libcvc4parser-dev_1.3-1_i386.deb 09-Dec-2013 10:33 561K [   ] libcvc4parser0_1.0-1_amd64.deb 01-Dec-2012 13:45 289K [   ] libcvc4parser1_1.2-3_amd64.deb 18-Jul-2013 13:13 276K [   ] libcvc4parser1_1.2-3_i386.deb 18-Jul-2013 13:13 276K [   ] libcvc4parser2_1.3-1_amd64.deb 09-Dec-2013 10:32 319K [   ] libcvc4parser2_1.3-1_i386.deb 09-Dec-2013 10:33 319K