Package: cvc4 (1.8-3 and others)

[ Source: cvc4  ]

Automatiseret læresætningsbeviser for SMT-problemer

CVC4 er en effektiv automatisk læresætningsbeviser for satisfiability modulo theories-problemer (SMT). Den kan bruges til at bevise validiteten (eller, samtidig, opfyldelsen) af første orden formler i et stort antal indbyggede logiske teorier og deres kombination.

CVC4 er lavet som en åben SMT-motor, der kan udvides. Den kan bruges som et uafhængigt værktøj eller som et bibliotek. Det er den fjerde i Cooperating Validity Checker-familien indenfor værktøjer (også inkluderende CVC, CVC Lite og CVC3). CVC4 er blevet designet til at øge ydelsen og reducere hukommelsesforbruget i forhold til tidligere versioner.

Denne pakke indeholder binære filer krævet til at bruge CVC4 som et uafhængigt værktøj.

Other Packages Related to cvc4

• dep: libboost-system1.62.0 [hppa]

  Package not available

• dep: libboost-thread1.62.0 [hppa]

  Package not available

• dep: libc6 (>= 2.11) [hppa]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.34) [not alpha, hppa, ia64, loong64]

  dep: libc6 (>= 2.41) [loong64]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libcln6 [not hppa]

  Class Library for Numbers - klassebibliotek for tal (C++)

• dep: libcvc4-4 (= 1.5-1) [hppa]

  Automatisk læresætningsbeviser for SMT-problemer - kørselstid

• dep: libcvc4-7 (= 1.8-3+b2) [ia64, x32]

  Automatisk læresætningsbeviser for SMT-problemer - kørselstid

  dep: libcvc4-7 (= 1.8-3+b3) [alpha, loong64, m68k, ppc64, sparc64]

  dep: libcvc4-7 (= 1.8-3+b4) [not alpha, hppa, ia64, loong64, m68k, ppc64, sparc64, x32]

• dep: libcvc4parser4 (= 1.5-1) [hppa]

  Automatisk læresætningsbeviser for SMT-problemer - fortolkerkørselstid

• dep: libcvc4parser7 (= 1.8-3+b2) [ia64, x32]

  Automatisk læresætningsbeviser for SMT-problemer - fortolkerkørselstid

  dep: libcvc4parser7 (= 1.8-3+b3) [alpha, loong64, m68k, ppc64, sparc64]

  dep: libcvc4parser7 (= 1.8-3+b4) [not alpha, hppa, ia64, loong64, m68k, ppc64, sparc64, x32]

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, ia64, m68k]

  GCC støttebibliotek

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC støttebibliotek

• dep: libgcc4 (>= 4.1.1) [hppa]

  Package not available

• dep: libgmp10 [hppa]

  Bibliotek til multipræcision i aritmetik

• dep: libreadline7 (>= 6.0) [hppa]

  Package not available

• dep: libreadline8t64 (>= 6.0) [not hppa]

  GNU bibliotekerne readline og history - kørselstid

• dep: libstdc++6 (>= 13.1) [not hppa]

  GNU Standard C++ bibliotek v3

  dep: libstdc++6 (>= 5.2) [hppa]

• dep: libunwind8 [ia64]

  Bibliotek til at bestemme call-chain for et program - kørselstid

Download cvc4

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.8-3+b3	76.8 kB	342.0 kB	[list of files]
amd64	1.8-3+b4	80.9 kB	296.0 kB	[list of files]
arm64	1.8-3+b4	74.9 kB	340.0 kB	[list of files]
armel	1.8-3+b4	73.8 kB	275.0 kB	[list of files]
armhf	1.8-3+b4	75.4 kB	275.0 kB	[list of files]
hppa (unofficial port)	1.5-1	126.4 kB	509.0 kB	[list of files]
i386	1.8-3+b4	83.0 kB	291.0 kB	[list of files]
ia64 (unofficial port)	1.8-3+b2	85.9 kB	395.0 kB	[list of files]
loong64 (unofficial port)	1.8-3+b3	76.0 kB	276.0 kB	[list of files]
m68k (unofficial port)	1.8-3+b3	78.4 kB	283.0 kB	[list of files]
mips64el	1.8-3+b4	76.1 kB	347.0 kB	[list of files]
ppc64 (unofficial port)	1.8-3+b3	78.9 kB	340.0 kB	[list of files]
ppc64el	1.8-3+b4	78.9 kB	340.0 kB	[list of files]
riscv64	1.8-3+b4	77.4 kB	264.0 kB	[list of files]
s390x	1.8-3+b4	77.9 kB	288.0 kB	[list of files]
sparc64 (unofficial port)	1.8-3+b3	72.6 kB	1,179.0 kB	[list of files]
x32 (unofficial port)	1.8-3+b2	80.6 kB	279.0 kB	[list of files]