The examples in this repo uses Pyomo. Examples Knapsack N-Queens Solvers used: Bonmin References https://jckantor.github.io/ND-Pyomo-Cookbook/