[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Source Package: cbmc (5.95.1-4ubuntu1) [universe]

Links for cbmc

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

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

The following binary packages are built from this source package:

adep: debhelper-compat (= 13)

Package not available
adep: bison

YACC-compatible parser generator
adep: flex

fast lexical analyzer generator
adep: minisat (>= 1:2.2.1-2)

Fast and lightweight SAT solver
adep: zlib1g-dev

compression library - development
adep: gdb [amd64]

GNU Debugger
adep: libxml2-utils

GNOME XML library - utilities
adep: python-is-python3

symlinks /usr/bin/python to python3
adep: z3 [not sh4]

theorem prover from Microsoft Research
adep: cvc5 [not armel armhf hppa hurd-amd64 hurd-i386 i386 ia64 loong64 mips64el powerpc sh4 x32]

automated theorem prover for SMT problems
adep: default-jdk-headless [not arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Standard Java or Java compatible Development Kit (headless)
adep: libmaven-dependency-plugin-java [not arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Maven Dependency Plugin
adep: libmaven-install-plugin-java [not arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Maven install plugin
adep: maven-debian-helper [not arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

Helper tools for building Debian packages with Maven

File	Size (in kB)	MD5 checksum
cbmc_5.95.1-4ubuntu1.dsc	3.1 kB	3909520534b1169d5194ed903e24ba59
cbmc_5.95.1.orig-java-cprover-api.tar.gz	14.2 kB	245cc4a092fb84d4c8a1333c793f1adc
cbmc_5.95.1.orig-java-models-library.tar.gz	292.2 kB	6ba4b12d1ad0ee6f917128fa61df4015
cbmc_5.95.1.orig.tar.gz	8,860.8 kB	05f0e4a4a3e7e2830c3be3b9398018de
cbmc_5.95.1-4ubuntu1.debian.tar.xz	15.1 kB	82e486c2e85f79f7f579e4821bd28fcc