Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - minisat

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: minisat 2.2.0-1

Git Clone URL: https://aur-dev.archlinux.org/minisat.git (read-only)
Package Base: minisat
Description: Minimalistic, open-source SAT solver.
Upstream URL: http://minisat.se/
Licenses: MIT
Submitter: asch
Maintainer: asch
Last Packager: asch
Votes: 13
Popularity: 0.009031
First Submitted: 2011-08-21 23:12
Last Updated: 2015-07-15 10:12

Dependencies (0)

Required by (1)

Sources (1)