chore: provide paths

ProvideQ · Jan 20, 2025 · 8816127 · 8816127
1 parent d390d86
commit 8816127
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/resources/application.properties b/src/main/resources/application.properties
@@ -38,6 +38,7 @@ custom.directory.lkh.directory=${custom.directory}/lkh
 custom.script.lkh=${custom.directory.lkh.directory}/vrp_lkh.py
 custom.directory.berger-vrp=${custom.directory}/berger-vrp
 custom.directory.sharp-sat.directory=${custom.directory}/sharp-sat
+custom.script.exact-sharp-sat=${custom.directory.sharp-sat.directory}/exact-solver/exact-solution-counter.py
 
 # Demonstrators
 demonstrators.directory=demonstrators