- GLPK: GNU Linear Programming Kit, the solver used for solving LP
- PuLP: Python linear programming modeler
- Clingo: Answer set programming tool
For Mac user, there are easy ways to install these libraries.
brew install glpk
pip install pulp
brew install clingo
Estimate the workload of mutliway join.