juliahub.com "disjunctive-programming" keyword
OptimalMatrixCompletion 0.3.0
A custom branch-and-bound algorithm for solving low-rank matrix completion to certifiable optimal...2 versions - Latest release: about 2 years ago - 6 stars on GitHub
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.