depqbf source package in Trusty

depqbf: solver for quantified boolean formulae

Versions published


The package versions that were published when the distribution release was made.

depqbf information

Current version:
Low Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?

Releases in Ubuntu

Binary packages

Download files from current release (2.0-1)

File Size SHA-256 Checksum
depqbf_2.0-1.dsc 1.9 KiB 947905d9209bdd3afbd044a6d5f6b1283c9e949f65f00a108c68e9dce19533d6
depqbf_2.0.orig.tar.gz 124.6 KiB 2beb1b2d0316c2732e5078f578352d931ee576f95e1ebc30662547cc886216c3
depqbf_2.0-1.debian.tar.gz 3.9 KiB 06b83bf510e14780773a2598b1fa3753fb6ecedae986d94a48d44981df6d3070

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies