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

Git Clone URL: https://aur.archlinux.org/minisat-git.git (read-only)
Package Base: minisat-git
Description: A minimalistic and high-performance SAT solver (git version)
Upstream URL: http://minisat.se/
Licenses: MIT
Conflicts: minisat
Submitter: dkasak
Maintainer: dkasak
Last Packager: dkasak
Votes: 0
Popularity: 0.000000
First Submitted: 2017-12-18 21:35
Last Updated: 2017-12-18 21:36

Dependencies (1)

Required by (1)

Sources (1)