Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
minisat
Small yet efficient SAT solver with reference paper
http://minisat.se/Main.html
Overview
Dependencies
QA report
Pull requests
0
Bugs
2
Security
0
Changelog
Dependencies
Reverse-Dependencies
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
sci-mathematics/boolector-3.2.3
sci-mathematics/boolector-3.2.4
sci-mathematics/stp-2.3.3-r3
sci-mathematics/stp-2.3.4
Description
The reverse dependencies are regularly parsed from the
qa-reports
. The sources can be found at:
rdepend
depend
bdepend
idepend
pdepend