Package: cvc4 (1.8-5 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.42) [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]

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

  dep: libcvc4-7 (= 1.8-5) [not hppa, ia64]

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

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

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

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

  dep: libcvc4parser7 (= 1.8-5) [not hppa, ia64]

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

  GCC støttebibliotek

  dep: libgcc-s1 (>= 3.5) [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-5	75.1 kB	341.0 kB	[list of files]
amd64	1.8-5	78.9 kB	283.0 kB	[list of files]
arm64	1.8-5	72.6 kB	275.0 kB	[list of files]
armhf	1.8-5	73.1 kB	274.0 kB	[list of files]
hppa (unofficial port)	1.5-1	126.4 kB	509.0 kB	[list of files]
i386	1.8-5	80.8 kB	282.0 kB	[list of files]
ia64 (unofficial port)	1.8-3+b2	85.9 kB	395.0 kB	[list of files]
loong64	1.8-5	74.6 kB	275.0 kB	[list of files]
m68k (unofficial port)	1.8-5	77.0 kB	282.0 kB	[list of files]
ppc64 (unofficial port)	1.8-5	77.2 kB	339.0 kB	[list of files]
ppc64el	1.8-5	77.3 kB	339.0 kB	[list of files]
riscv64	1.8-5	75.4 kB	255.0 kB	[list of files]
s390x	1.8-5	76.0 kB	279.0 kB	[list of files]
sparc64 (unofficial port)	1.8-5	70.1 kB	1,178.0 kB	[list of files]
x32 (unofficial port)	1.8-5	78.5 kB	266.0 kB	[list of files]