CPLEX (by IBM). The documentation can be a bit thin sometimes. But its fast. Most benchmarks place it ahead of the google cloud products. For fun I made this G

CPLEX (by IBM). The documentation can be a bit thin sometimes. But its fast. Most benchmarks place it ahead of the google cloud products. For fun I made this Golomb ruler solver using cplex: https://github.com/strateos/golomb-solver https://github.com/strateos/golomb-solver