O coin-or-cbc é um solucionador de programação inteira mista de ramificação e corte desenvolvido pela COIN-OR (Computational Infrastructure for Operations Research). Ele é projetado para resolver problemas de otimização complexos de forma eficiente e precisa. Ele utiliza técnicas de ramificação e corte para dividir o problema em subproblemas menores e, em seguida, encontrar a solução ótima. Ele é amplamente utilizado em aplicações de planejamento, logística e gerenciamento de recursos. 