import java.util.List;
import org.jdom2.Document;
import org.jdom2.Element;
import frodo2.algorithms.RandGraphFactory;
import frodo2.algorithms.RandGraphFactory.Graph;
import frodo2.algorithms.Solution;
import frodo2.algorithms.XCSPparser;
import frodo2.algorithms.dpop.DPOPsolver;
import frodo2.algorithms.dpop.count.SolutionCounter;
import frodo2.algorithms.maxsum.MaxSum;
import frodo2.algorithms.maxsum.MaxSumSolver;
import frodo2.algorithms.test.AllTests;
import frodo2.algorithms.varOrdering.factorgraph.FactorGraphGen;
import frodo2.solutionSpaces.Addable;
import frodo2.solutionSpaces.AddableInteger;
import frodo2.solutionSpaces.AddableReal;
import junit.extensions.RepeatedTest;
import junit.framework.TestCase;
import junit.framework.TestSuite;