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: libantlr3c-3.4-0 [sparc64]

  ANTLR version 3-fortolkergenerator C-kørselstid
  also a virtual package provided by libantlr3c-antlrdbg-3.4-0

  or libantlr3c-antlrdbg-3.4-0

  ANTLR v3-fortolkeropretter - C-kørselstid med ANTLR-fejlsøger

• 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]

• 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) [alpha, ia64, m68k, ppc64, sparc64, x32]

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

  dep: libcvc4-7 (= 1.8-3+b3) [not alpha, hppa, ia64, 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) [alpha, ia64, m68k, ppc64, sparc64, x32]

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

  dep: libcvc4parser7 (= 1.8-3+b3) [not alpha, hppa, ia64, 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: libgmp10 (>= 2:6.3.0+dfsg) [sparc64]

• 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: libtinfo6 (>= 6) [sparc64]

  delt terminfo-bibliotek på lavt niveau for terminalhåndtering

• 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+b2	77.3 kB	342.0 kB	[list of files]
amd64	1.8-3+b3	80.5 kB	292.0 kB	[list of files]
arm64	1.8-3+b3	74.7 kB	340.0 kB	[list of files]
armel	1.8-3+b3	73.5 kB	271.0 kB	[list of files]
armhf	1.8-3+b3	74.6 kB	247.0 kB	[list of files]
hppa (unofficial port)	1.5-1	126.4 kB	509.0 kB	[list of files]
i386	1.8-3+b3	82.3 kB	287.0 kB	[list of files]
ia64 (unofficial port)	1.8-3+b2	85.9 kB	395.0 kB	[list of files]
m68k (unofficial port)	1.8-3+b2	79.3 kB	291.0 kB	[list of files]
mips64el	1.8-3+b3	73.1 kB	288.0 kB	[list of files]
ppc64 (unofficial port)	1.8-3+b2	78.7 kB	345.0 kB	[list of files]
ppc64el	1.8-3+b3	78.9 kB	342.0 kB	[list of files]
riscv64	1.8-3+b3	77.4 kB	268.0 kB	[list of files]
s390x	1.8-3+b3	78.0 kB	296.0 kB	[list of files]
sparc64 (unofficial port)	1.8-3+b2	72.3 kB	283.0 kB	[list of files]
x32 (unofficial port)	1.8-3+b2	80.6 kB	279.0 kB	[list of files]