software/chuffed/.gitmodules at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / chuffed / .gitmodules

at develop 144 B view raw

1[submodule "cp-profiler-integration"]
2	path = submodules/cp-profiler-integration
3	url = https://gitlab.com/minizinc/cp-profiler-integration.git