Tarkennettu haku
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Source Package: cvc3 (2.4.1-4)

Links for cvc3

Debian-palvelut:

Ylläpitäjä:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
cvc3
Automatic theorem prover for SMT problems
cvc3-el
Emacs mode for CVC3
libcvc3-5
Automatic theorem prover library for SMT problems
libcvc3-5-java
Java bindings for CVC3 (bytecode library)
libcvc3-5-jni
Java bindings for CVC3 (native library)
libcvc3-dev
Automatic theorem prover library for SMT problems (development files)

Muut pakettiin cvc3 liittyvät paketit

  • build-depends
  • build-depends-indep

Download cvc3

TiedostoKoko (kt)MD5-tarkiste
cvc3_2.4.1-4.dsc 2.0 kt 013153287aeca9076efac802ec23319f
cvc3_2.4.1.orig.tar.gz 1,148.2 kt 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-4.debian.tar.gz 8.8 kt df7d80ba6c7d8c623f9ef6e845384697
Debian Package Source Repository (VCS: Git)
https://github.com/clconway/cvc3-debian.git
Debian Package Source Repository (Browsable)
https://github.com/clconway/cvc3-debian