minisat+ source package in Focal

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?

Binary packages

Download files from current release (1.0-4build1)

File Size SHA-256 Checksum
minisat+_1.0.orig.tar.gz 78.1 KiB f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b
minisat+_1.0-4build1.debian.tar.xz 4.2 KiB 0e2931f36237e1d78b815c6b0afa5e3db8ad13dc2a72bb9a5fe7b163e6f50d69
minisat+_1.0-4build1.dsc 2.0 KiB 7d7a1354ae8a8e0ccfd673e68b1fdd421194faf7ff96aaa8fe4329ddeba5ed0a

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies