feat: add sharpSat custom directory

ProvideQ · Jan 13, 2025 · 1042204 · 1042204
1 parent 826f9d0
commit 1042204
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/resources/application.properties b/src/main/resources/application.properties
@@ -37,6 +37,7 @@ custom.script.hs_knapsack=${custom.directory}/hs-knapsack/knapsack.py
 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
 
 # Demonstrators
 demonstrators.directory=demonstrators