alla flaggor
jessie  ] [  stretch  ] [  sid  ]

Källkodspaket: cvc3 (2.4.1-5.2)

Länkar för cvc3

Debianresurser:

Ansvarig:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
cvc3
Automatic theorem prover for SMT problems
cvc3-el
Emacs mode for CVC3
libcvc3-5
Automatic theorem prover library for SMT problems
libcvc3-dev
Automatic theorem prover library for SMT problems (development files)

Andra paket besläktade med cvc3

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download cvc3

FilStorlek (i kbyte)MD5-kontrollsumma
cvc3_2.4.1-5.2.dsc 1,9 kbyte 756845ecf0681f88e2e3b522977c5e5d
cvc3_2.4.1.orig.tar.gz 1.148,2 kbyte 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-5.2.debian.tar.xz 10,1 kbyte 0f34c06d09b85e2b9b3c7ac634117d99