Versions Packages Information History Related Badges Report

Versions for minisat

31 package(s) known

Repository Package name Version Category Maintainer(s)
Arch
community
minisat 2.2.1.20201216 - -
AUR minisat-git 2.2.1.r3.gf7d16b9 - dkasak@aur
AUR minisat 2.2.0 - asch@aur
DPorts math/minisat 2.2.1 math vsevolod@freebsd.org
FreeBSD Ports math/minisat 2.2.1 math vsevolod@freebsd.org
Funtoo 1.4
science-kit
sci-mathematics/minisat 2.2.0_p20130925 sci-mathematics sci@gentoo.org
Funtoo 1.4
science-kit
sci-mathematics/minisat 2.2.0 sci-mathematics sci@gentoo.org
Gentoo sci-mathematics/minisat 2.2.0_p20130925 sci-mathematics sci@gentoo.org
GNU Guix minisat 2.2.0-1.37dc6c6 - -
Homebrew minisat 2.2.1 - -
LiGurOS stable sci-mathematics/minisat 2.2.0_p20130925 sci-mathematics sci@gentoo.org
LiGurOS develop sci-mathematics/minisat 2.2.0_p20130925 sci-mathematics sci@gentoo.org
Linuxbrew minisat 2.2.1 - -
MacPorts minisat 2.2.0 math nomaintainer@macports.org
Manjaro Stable
community
minisat 2.2.1.20201216 - -
Manjaro Testing
community
minisat 2.2.1.20201216 - -
Manjaro Unstable
community
minisat 2.2.1.20201216 - -
nixpkgs stable minisat 2.2.1 - gebner@gebner.org, 7c6f434c@mail.ru
nixpkgs unstable minisat 2.2.1 - gebner@gebner.org, 7c6f434c@mail.ru
OpenBSD Ports math/minisat 2.2.0.20170810 math ports@openbsd.org
OpenPKG minisat 2.3.6.20201207 Algorithm -
openSUSE Leap 42.3
main/oss
minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.0
main/oss
minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.1
main/oss
minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.2
main/oss
minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.3
main/oss
minisat 2.2.0 Development/Tools/Other -
openSUSE Tumbleweed
src-oss
minisat 2.2.1 Development/Tools/Other -
Parabola
community
minisat 2.2.1.20201216 - -
pkgsrc current math/minisat 2.2.0 math pkgsrc-users@netbsd.org
Void Linux x86_64
x86_64
minisat 2.2.0 - tcmreastwood@gmail.com
YACP minisat 2.2.0 Libs -