GitHub repository: tudyoctav/IDMP-Constrained-Shortest-Path
Primary language: C++
Description:  This project explores CP, SAT, and MIP technologies for solving the Constrained Shortest Path problem and compares their performance.