fix: Only fail Ganak on Windows on runtime, not on startup

src/main/java/edu/kit/provideq/toolbox/sharpsat/solvers/GanakSolver.java

@@ -15,13 +15,13 @@
 import org.springframework.beans.factory.annotation.Autowired;
 import org.springframework.beans.factory.annotation.Value;
 import org.springframework.context.ApplicationContext;
-import org.springframework.context.annotation.Configuration;
+import org.springframework.stereotype.Component;
 import reactor.core.publisher.Mono;
 
 /**
  * {@link SharpSatConfiguration#SHARPSAT} solver using OpenSource GANAK implementation.
  */
-@Configuration
+@Component
 public class GanakSolver extends SharpSatSolver {
   private final String binaryPath;
   private final ApplicationContext context;
@@ -31,11 +31,6 @@ public GanakSolver(
       @Value("${custom.binary.ganak-sat}") String binaryPath,
       ApplicationContext context) {
 
-    if (binaryPath == null || binaryPath.isEmpty()) {
-      throw new IllegalArgumentException("Property 'custom.binary.ganak-sat' is not defined."
-          + " This solver isn't available for windows. Use PythonBruteForce instead");
-    }
-
     this.binaryPath = binaryPath;
     this.context = context;
   }
@@ -74,6 +69,11 @@ public String getDescription() {
   public Mono<Solution<Integer>> solve(String input, SubRoutineResolver subRoutineResolver,
                                        SolvingProperties properties) {
 
+    if (binaryPath == null || binaryPath.isEmpty()) {
+      throw new IllegalArgumentException("Property 'custom.binary.ganak-sat' is not defined."
+          + " This solver isn't available for windows. Use PythonBruteForce instead");
+    }
+
     var solution = new Solution<>(this);
 
     DimacsCnf dimacsCnf;