minisat+ source package in Disco

minisat+: solver for pseudo-Boolean constraints
minisat+-dbgsym: debug symbols for minisat+

Versions published


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

minisat+ information

Current version:
Medium 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.

Is the following project the upstream for this source package?

Releases in Ubuntu

Binary packages

Download files from current release (1.0-4)

File Size SHA-256 Checksum
minisat+_1.0-4.dsc 1.9 KiB bcd43117559b74bd955ec63892c62d4ef1c7bcc1cb952d5c488150fec7985433
minisat+_1.0.orig.tar.gz 78.1 KiB f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b
minisat+_1.0-4.debian.tar.xz 4.1 KiB bd91de9376032c4044a42dfcf777edf482e2eeb64065a8d60df11ed8b6df70ea

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies