minisat packages - Repology

36 package(s) known

Arch
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):

Arch Linux 32 i486
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1.0)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux 32 i686
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1.0)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux 32 pentium4
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1.0)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux ARM aarch64
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):

Arch Linux ARM armv7h
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):

AUR

minisat-git

2.2.1.r3.gf7d16b9 (2.2.1.r3.gf7d16b9-1)

Summary:
A minimalistic and high-performance SAT solver (git version)
Maintainer:
- dkasak@aur
License:
- MIT
Link(s):

FreeBSD Ports

math/minisat

2.2.1 (2.2.1_2)

Summary:
Minimalistic, open-source SAT solver
Maintainer:
- vsevolod@freebsd.org
Category:
- math
Link(s):

Gentoo

sci-mathematics/minisat

2.2.1 (2.2.1-r1)

Summary:
Small yet efficient SAT solver with reference paper
Maintainer:
- sci@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

GNU Guix

minisat

2.2.0-1.37dc6c6

Summary:
Small, yet efficient, SAT solver
Link(s):

Homebrew

minisat

2.2.1

Summary:
Minimalistic and high-performance SAT solver
Link(s):

LiGurOS stable

sci-mathematics/minisat

2.2.1 (2.2.1-r1)

Summary:
Small yet efficient SAT solver with reference paper
Maintainer:
- sci@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

LiGurOS develop

sci-mathematics/minisat

2.2.1 (2.2.1-r1)

Summary:
Small yet efficient SAT solver with reference paper
Maintainer:
- sci@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

MacPorts

minisat

2.2.0

Summary:
Minimalistic SAT solver
Maintainer:
- nomaintainer@macports.org
Category:
- math
License:
- MIT
Link(s):

Manjaro Stable
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Testing
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Unstable
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 21.11

minisat

2.2.1

Summary:
Compact and readable SAT solver
Maintainers:
- gebner@gebner.org
- 7c6f434c@mail.ru
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 22.05

minisat

2.2.1

Summary:
Compact and readable SAT solver
Maintainers:
- gebner@gebner.org
- 7c6f434c@mail.ru
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 22.11

minisat

2.2.1

Summary:
Compact and readable SAT solver
Maintainers:
- gebner@gebner.org
- 7c6f434c@mail.ru
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs unstable

minisat

2.2.1

Summary:
Compact and readable SAT solver
Maintainers:
- gebner@gebner.org
- 7c6f434c@mail.ru
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

OpenBSD Ports

math/minisat

2.2.0.20170810 (2.2.0.20170810p1)

Summary:
minimalistic Boolean satisfiability solver
Maintainer:
- ports@openbsd.org
Category:
- math
Link(s):

OpenPKG

minisat

2.3.6.20201207

Summary:
SAT Solver
Category:
- Algorithm
License:
- MIT
Link(s):
- Upstream homepage^{ok, no IPv6}

openSUSE Leap 42.3
^main/oss

minisat

2.2.0 (2.2.0+20130925-1.3)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

openSUSE Leap 15.0
^main/oss

minisat

2.2.0 (2.2.0+20130925-lp150.1.3)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

openSUSE Leap 15.1
^main/oss

minisat

2.2.0 (2.2.0+20130925-lp151.2.3)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

openSUSE Leap 15.2
^main/oss

minisat

2.2.0 (2.2.0+20130925-lp152.3.6)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

openSUSE Leap 15.3
^main/oss

minisat

2.2.0 (2.2.0+20130925-bp153.1.17)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

openSUSE Leap 15.4
^main/oss

minisat

2.2.1 (2.2.1+20200902-bp154.1.51)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

openSUSE Leap 15.5
^main/oss

minisat

2.2.1 (2.2.1+20200902-bp155.3.7)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

openSUSE Tumbleweed
^src-oss

minisat

2.2.1 (2.2.1+20200902-3.3)

Summary:
SAT solver
Category:
- Development/Tools/Other
License:
- MIT
Link(s):

Parabola
^community

minisat

2.2.1.20201216 (2.2.1.20201216-1)

Summary:
A minimalistic and high-performance SAT solver
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

pkgsrc current

math/minisat

2.2.0

Summary:
Minimalistic yet highly efficient SAT solver
Maintainer:
- pkgsrc-users@netbsd.org
Category:
- math
Link(s):

Rosa 2021.1
^{contrib/release}

minisat

2.2.1 (2.2.1-1)

Summary:
A minimalistic and high-performance SAT solver
Maintainer:
- a.proklov@rosalinux.ru
Category:
- Sciences/Mathematics
License:
- MIT
Link(s):

Void Linux x86_64
^x86_64

minisat

2.2.0 (2.2.0_2)

Summary:
A minimalistic and high-performance SAT solver
Maintainer:
- tcmreastwood@gmail.com
License:
- MIT
Link(s):

YACP

minisat

2.2.1

Summary:
Minimalistic and high-performance SAT solver
Category:
- Libs
Link(s):
- Package sources^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Packages for minisat

minisat

minisat

minisat

minisat

minisat

minisat

minisat-git

math/minisat

sci-mathematics/minisat

minisat

minisat

sci-mathematics/minisat

sci-mathematics/minisat

minisat

minisat

minisat

minisat

minisat

minisat

minisat

minisat

math/minisat

minisat

minisat

minisat

minisat

minisat

minisat

minisat

minisat

minisat

minisat

math/minisat

minisat

minisat

minisat