1. [n.d.]. Alibaba MaxCompute. https://www.alibabacloud.com/product/maxcompute. [n.d.]. Alibaba MaxCompute. https://www.alibabacloud.com/product/maxcompute.
2. [n.d.]. Apache Calcite Project. http://calcite.apache.org/. [n.d.]. Apache Calcite Project. http://calcite.apache.org/.
3. [n.d.]. LibSVM. https://github.com/cjlin1/libsvm. [n.d.]. LibSVM. https://github.com/cjlin1/libsvm.
4. [n.d.]. PostgreSQL. https://www.postgresql.org/. [n.d.]. PostgreSQL. https://www.postgresql.org/.
5. [n.d.]. Z3Prover: Z3 Theorem Prover. https://github.com/Z3Prover/z3. [n.d.]. Z3Prover: Z3 Theorem Prover. https://github.com/Z3Prover/z3.