Versions Packages Information History Badges Report

Packages for minisat+

30 package(s) known

Debian 10
buster/main

minisat+

1.0 (1.0-4)
Debian 11
bullseye/main

minisat+

1.0 (1.0-4)
Debian 12
bookworm/main

minisat+

1.0 (1.0-4)
Debian 13
trixie/main

minisat+

1.0 (1.0-5)
Debian Unstable
sid/main

minisat+

1.0 (1.0-5)
deepin 20
main

minisat+

1.0 (1.0-4)
Devuan 3.0
beowulf/main

minisat+

1.0 (1.0-4)
Devuan 4.0
chimaera/main

minisat+

1.0 (1.0-4)
Devuan Unstable
unstable/main

minisat+

1.0 (1.0-5)
Kali Linux Rolling
main

minisat+

1.0 (1.0-5)
Pardus 21
main

minisat+

1.0 (1.0-4)
Parrot
parrot/main

minisat+

1.0 (1.0-4)
Parrot
parrot-updates/main

minisat+

1.0 (1.0-4)
PureOS amber
amber/main

minisat+

1.0 (1.0-4)
PureOS byzantium
byzantium/main

minisat+

1.0 (1.0-4)
PureOS landing
landing/main

minisat+

1.0 (1.0-5)
Raspbian Oldstable
main

minisat+

1.0 (1.0-4)
Raspbian Stable
main

minisat+

1.0 (1.0-4)
Raspbian Testing
main

minisat+

1.0 (1.0-5)
Trisquel 10.0
nabia/main

minisat+

1.0 (1.0-4build1)
Trisquel 11.0
aramo/main

minisat+

1.0 (1.0-4build1)
Ubuntu 14.04
trusty/universe

minisat+

1.0 (1.0-2)
Ubuntu 16.04
xenial/universe

minisat+

1.0 (1.0-2)
Ubuntu 18.04
bionic/universe

minisat+

1.0 (1.0-4)
Ubuntu 20.04
focal/universe

minisat+

1.0 (1.0-4build1)
Ubuntu 22.04
jammy/universe

minisat+

1.0 (1.0-4build1)
Ubuntu 24.04
noble/universe

minisat+

1.0 (1.0-4build1)
Ubuntu 24.10
oracular/universe

minisat+

1.0 (1.0-4build1)
Ubuntu 25.04
plucky/universe

minisat+

1.0 (1.0-5)
Ubuntu 25.10
questing/universe

minisat+

1.0 (1.0-5)