Information for minisat

Versions

• 2.2.1.r3.gf7d16b9
• 2.3.6.20201207
• 2.2.1.20201216
• 2.2.1 (7)
• 2.2.0.20170810
• 2.2.0-1.37dc6c6
• 2.2.0 (4)

Package names

• minisat (14)
• minisat-git

Repositories

• Arch
• Arch Linux 32 i486
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• Arch Linux ARM aarch64
• Arch Linux ARM armv7h
• AUR
• FreeBSD Ports
• Gentoo
• GNU Guix
• Homebrew
• LiGurOS stable
• LiGurOS develop
• MacPorts
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs unstable
• OpenBSD Ports
• OpenPKG
• openSUSE Leap 42.3
• openSUSE Leap 15.0
• openSUSE Leap 15.1
• openSUSE Leap 15.2
• openSUSE Leap 15.3
• openSUSE Leap 15.4
• openSUSE Leap 15.5
• openSUSE Tumbleweed
• Parabola
• pkgsrc current
• Rosa 2021.1
• Void Linux x86_64
• YACP

Categories

• Algorithm
• Development/Tools/Other
• Libs
• Sciences/Mathematics
• math (4)
• sci-mathematics

Licenses

• MIT (8)

Summaries

• A minimalistic and high-performance SAT solver (3)
• A minimalistic and high-performance SAT solver (git version)
• Compact and readable SAT solver
• Minimalistic SAT solver
• Minimalistic and high-performance SAT solver (2)
• Minimalistic yet highly efficient SAT solver
• Minimalistic, open-source SAT solver
• SAT Solver
• SAT solver
• Small yet efficient SAT solver with reference paper
• Small, yet efficient, SAT solver
• minimalistic Boolean satisfiability solver

Maintainers

• 7c6f434c@mail.ru
• a.proklov@rosalinux.ru
• dkasak@aur
• gebner@gebner.org
• nomaintainer@macports.org
• pkgsrc-users@netbsd.org
• ports@openbsd.org
• sci@gentoo.org
• tcmreastwood@gmail.com
• vsevolod@freebsd.org

• Group email

Homepage links

• http://minisat.se/^{ok, no IPv6} (8)
• http://minisat.se/Main.html^{ok, no IPv6}
• http://minisat.se/MiniSat.html^{ok, no IPv6} (3)
• https://github.com/msoos/minisat^{ok, no IPv6}
• https://github.com/niklasso/minisat^{ok, no IPv6} (2)
• https://github.com/stp/minisat^{ok, no IPv6} (2)
• https://github.com/stp/minisat/^{ok, no IPv6}

All package recipes

• https://abf.io/import/minisat/blob/rosa2021.1/minisat.spec^{ok, no IPv6}
• https://archlinuxarm.org/packages/aarch64/minisat/files/PKGBUILD^ok
• https://archlinuxarm.org/packages/armv7h/minisat/files/PKGBUILD^ok
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=minisat-git^ok
• https://build.opensuse.org/package/view_file/openSUSE:Factory/minisat/minisat.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.0:Update/minisat/minisat.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.1:Update/minisat/minisat.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.2:Update/minisat/minisat.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.3:Update/minisat/minisat.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.4:Update/minisat/minisat.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.5:Update/minisat/minisat.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:42.3:Update/minisat/minisat.spec?expand=1^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/maths.scm#n7720^ok
• https://github.com/archlinux/svntogit-community/blob/packages/minisat/trunk/PKGBUILD^{ok, no IPv6}
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/minisat.rb^{ok, no IPv6}
• https://github.com/macports/macports-ports/blob/master/math/minisat/Portfile^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/minisat/default.nix#L18^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/minisat/default.nix#L18^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/minisat/default.nix#L18^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/minisat/default.nix#L18^{ok, no IPv6}
• https://github.com/void-linux/void-packages/blob/master/srcpkgs/minisat/template^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild^ok

Downloads

• http://minisat.se/downloads/MiniSat.pdf^{ok, no IPv6}
• https://github.com/niklasso/minisat^{ok, no IPv6}
• https://github.com/niklasso/minisat/archive/37dc6c67e2af26379d88ce349eb9c4c6160e8543.tar.gz^{ok, no IPv6}
• https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz^{ok, no IPv6}