GitHub - clconway/cvc3-debian: Debian packaging for the CVC3 Satisfiability Modulo Theories tool.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
bin		bin
debian		debian
doc		doc
emacs		emacs
java		java
src		src
test		test
testc		testc
.gitignore		.gitignore
INSTALL		INSTALL
LICENSE.in		LICENSE.in
Makefile		Makefile
Makefile.local.in		Makefile.local.in
Makefile.std		Makefile.std
PEOPLE		PEOPLE
README		README
VERSION		VERSION
config.guess		config.guess
config.sub		config.sub
configure		configure
configure.ac		configure.ac
install-sh		install-sh

Repository files navigation

/*!\page README README


This is a distribution of the CVC3 source code.  Its use is governed by the
terms set forth in the accompanying file \ref LICENSE.

For instructions on compiling and installing the code, see \ref INSTALL.

Other information and related links can be found at the CVC3 home
page:

<pre>
   http://www.cs.nyu.edu/acsys/cvc3
</pre>

*/