boolean.py
colomoto_jupyter
pyomo
gurobipy
