toutes les options
jessie  ] [  stretch  ]

Paquet source : cvc3 (2.4.1-5)

Liens pour cvc3

Ressources Debian :

Responsable :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
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)

Autres paquets associés à cvc3

  • build-depends
  • build-depends-indep

Download cvc3

FichierTaille (en ko)Somme MD5
cvc3_2.4.1-5.dsc 2,0 ko 4912cd80422e4ee4e3f2dcafd59d4170
cvc3_2.4.1.orig.tar.gz 1 148,2 ko 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-5.debian.tar.xz 9,9 ko 46fb25e90d19e8351a0fdadfee179848