minisat2 source package in Bionic

minisat: Fast and lightweight SAT solver
minisat-dbgsym: debug symbols for package minisat
minisat2: No summary available for minisat2 in ubuntu vivid.

Versions published


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

minisat2 information

Current version:
Very Urgent

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?

Binary packages

Download files from current release (1:2.2.1-5build1)

File Size SHA-256 Checksum
minisat2_2.2.1.orig.tar.gz 43.2 KiB e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40
minisat2_2.2.1-5build1.debian.tar.xz 9.3 KiB cb08c870f6b72f6f541bc069132182317312785295a74c8b55c13827a4b9ed8a
minisat2_2.2.1-5build1.dsc 1.9 KiB c00ab003ebbbd414ab68b8ed533ce508b4c8d939fd78f85db85220e9445bc3c4

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies