PackagesAdvanced SAT solver with C++ and command-line interfaces
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| app-alternatives/ninja | |||||
| dev-build/cmake | |||||
| dev-lang/python | |||||
| dev-libs/boost | |||||
| dev-python/gpep517 | |||||
| dev-python/setuptools | |||||
| dev-python/tomli | |||||
| sys-libs/zlib |