Add docs for a number of solver classes

src/main/java/edu/kit/provideq/toolbox/maxcut/solvers/MaxCutSolver.java

@@ -2,5 +2,8 @@
 
 import edu.kit.provideq.toolbox.meta.ProblemSolver;
 
+/**
+ * A solver for MaxCut problems.
+ */
 public abstract class MaxCutSolver implements ProblemSolver<String, String> {
 }

src/main/java/edu/kit/provideq/toolbox/qubo/QuboMetaSolver.java

@@ -15,7 +15,7 @@
 import org.springframework.stereotype.Component;
 
 /**
- * Simple {@link MetaSolver} for MaxCut problems.
+ * Simple {@link MetaSolver} for QUBO problems.
  */
 @Component
 public class QuboMetaSolver extends MetaSolver<String, String, QuboSolver> {

src/main/java/edu/kit/provideq/toolbox/qubo/solvers/QuboSolver.java

@@ -2,5 +2,8 @@
 
 import edu.kit.provideq.toolbox.meta.ProblemSolver;
 
+/**
+ * A solver for quadratic unconstrained binary optimization problems.
+ */
 public abstract class QuboSolver implements ProblemSolver<String, String> {
 }

src/main/java/edu/kit/provideq/toolbox/sat/solvers/SatSolver.java

@@ -3,5 +3,8 @@
 import edu.kit.provideq.toolbox.format.cnf.dimacs.DimacsCnfSolution;
 import edu.kit.provideq.toolbox.meta.ProblemSolver;
 
+/**
+ * A solver for SAT problems.
+ */
 public abstract class SatSolver implements ProblemSolver<String, DimacsCnfSolution> {
 }