Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
anaconda.org "xor" keyword
cryptominisat 5.6.6
An advanced SAT Solver https://www.msoos.org1 version - Latest release: over 5 years ago - 687 stars on GitHub
pycryptosat 5.6.6
An advanced SAT Solver https://www.msoos.org1 version - Latest release: over 5 years ago - 687 stars on GitHub
libcryptominisat 5.6.6
An advanced SAT Solver https://www.msoos.org1 version - Latest release: over 5 years ago - 2 dependent packages - 687 stars on GitHub
Related Keywords