GitHub repository: renanpdef/Pathway-Verification
Primary language: Java
Description: Care Pathway Verification With Constraint Programming Solver (Choco Solver)