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

mdeters / cvc3-debian Public

forked from clconway/cvc3-debian

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Debian packaging for the CVC3 Satisfiability Modulo Theories tool.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
patches		patches
source		source
upstream		upstream
README.Debian		README.Debian
changelog		changelog
compat		compat
control		control
copyright		copyright
cvc3-el.emacsen-install		cvc3-el.emacsen-install
cvc3-el.emacsen-remove		cvc3-el.emacsen-remove
cvc3-el.emacsen-startup		cvc3-el.emacsen-startup
cvc3-el.lintian-overrides		cvc3-el.lintian-overrides
cvc3.1		cvc3.1
cvc3.docs		cvc3.docs
cvc3.install		cvc3.install
cvc3.lintian-overrides		cvc3.lintian-overrides
cvc3.manpages		cvc3.manpages
libcvc3-5-java.install		libcvc3-5-java.install
libcvc3-5-java.lintian-overrides		libcvc3-5-java.lintian-overrides
libcvc3-5-jni.install		libcvc3-5-jni.install
libcvc3-5-jni.lintian-overrides		libcvc3-5-jni.lintian-overrides
libcvc3-5.install		libcvc3-5.install
libcvc3-5.lintian-overrides		libcvc3-5.lintian-overrides
libcvc3-5.shlibs		libcvc3-5.shlibs
libcvc3-dev.install		libcvc3-dev.install
libcvc3-dev.lintian-overrides		libcvc3-dev.lintian-overrides
rules		rules
watch		watch

Repository files navigation

The .orig.tar.gz is modified from the tarball distributed by upstream.
It omits the following files, which aren't licensed for redistribution:

src/sat/xchaff_base.h
src/sat/xchaff_dbase.h
src/sat/xchaff_solver.h
src/sat/xchaff_utils.h
src/sat/xchaff_dbase.cpp
src/sat/xchaff_solver.cpp
src/sat/xchaff_utils.cpp

-- Christopher L. Conway <[email protected]>  Sun, 26 Feb 2012 17:55:36 -0500