Package Details: minisat-git 2.2.0.r68.g37dc6c6-2

Git Clone URL: https://aur.archlinux.org/minisat-git.git (read-only)
Package Base: minisat-git
Description: A minimalistic and high-performance SAT solver
Upstream URL: http://minisat.se/
Licenses: MIT
Conflicts: minisat
Submitter: maleadt
Maintainer: None
Last Packager: maleadt
Votes: 0
Popularity: 0.000000
First Submitted: 2015-08-14 07:23
Last Updated: 2015-08-14 13:55

Dependencies (2)

Required by (2)

Sources (1)