Arch Linux
Home
Packages
Forums
Wiki
Bugs
AUR
Download
ca
cs
da
de
en
el
es
fi
fr
he
hr
hu
it
ja
nb
nl
pl
pt_BR
pt_PT
ro
ru
sk
sr
tr
uk
zh_CN
AUR Home
Packages
Register
Login
Search Criteria
Enter search criteria
Category
Any
daemons
devel
editors
emulators
fonts
games
gnome
i18n
kde
kernels
lib
modules
multimedia
network
office
science
system
wayland
x11
xfce
Search by
Name, Description
Name Only
Package Base
Exact Name
Exact Package Base
Maintainer
Submitter
Keywords
Out of Date
All
Flagged
Not Flagged
Sort by
Name
Category
Votes
Voted
Notify
Maintainer
Age
Sort order
Ascending
Descending
Per page
50
100
250
1 package found. Page 1 of 1.
Category
Name
Version
Votes
Description
Maintainer
science
cryptominisat4
4.2.0-1
0
A modern, multi-threaded, feature-rich, simplifying SAT solver
keenerd
1 package found. Page 1 of 1.