namn på paket beskrivningar namn på källkodspaket innehåll i paket alla flaggor

[  lucid  ] [  precise  ] [  quantal  ] [  raring  ]

[ Källkod: cvc3  ]

Länkar för cvc3

Ubunturesurser:

• Felrapporter
• Ändringslogg för Ubuntu
• Upphovsrättsfil

Hämta källkodspaketet cvc3:

• [cvc3_2.2-13.1.dsc]
• [cvc3_2.2.orig.tar.gz]
• [cvc3_2.2-13.1.diff.gz]

Ansvarig:

• Ubuntu MOTU Developers (E-postarkiv)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Christopher L. Conway

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

• Hemsida [www.cs.nyu.edu]

Liknande paket:

• libcvc3-2
• libcvc3-2-dev
• libcvc3-5
• libcvc3-5-dev
• libcvc3-dev
• cvc3-el
• libcvc3-2-java
• libcvc3-2-jni
• alt-ergo
• spass
• eprover

Andra paket besläktade med cvc3

beror

rekommenderar

föreslår

• dep: libc6 (>= 2.1.3) [i386]

  Embedded GNU C Library: Shared libraries
  också ett virtuellt paket som tillhandahålls av libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• dep: libcvc3-2

  An automatic theorem prover library for SMT problems

• dep: libgcc1 (>= 1:4.1.1)

  GCC support library

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libstdc++6 (>= 4.4.0)

  GNU Standard C++ Library v3

Hämta cvc3

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	19,8 kbyte	96,0 kbyte	[filförteckning]
i386	19,9 kbyte	92,0 kbyte	[filförteckning]