diff --git a/src/main/resources/application.properties b/src/main/resources/application.properties
index 066b28d2..3a0bc8de 100644
--- 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