Packages
Packages
| Version | RDEPEND | DEPEND | BDEPEND | PDEPEND |
|---|---|---|---|---|
| dev-db/sqlite | ||||
| dev-lang/python | ||||
| dev-libs/boost | ||||
| dev-libs/icu | ||||
| dev-python/lit | ||||
| dev-util/cmake | ||||
| dev-util/ninja | ||||
| sci-mathematics/cryptominisat | ||||
| sci-mathematics/minisat | ||||
| sys-libs/zlib |