feat: scale hg weights from 1 to 100

Author: uulm-janbaudisch

src/specs/cnf/SpecManagerCnf.hpp

@@ -213,8 +213,9 @@ class SpecManagerCnf : public SpecManager {
   }
 
   inline int hg_heuristic_scaled(Var v, int max) {
-    int value = hg_heuristic(v);
-    int ret = max / 100 - value;
+    auto value = static_cast<double>(hg_heuristic(v));
+    auto max_double = static_cast<double>(max);
+    auto ret = 100 - static_cast<int>((value / max_double) * 100);
 
     if (ret < 1) {
       ret = 1;