@@ -0,0 +1,491 @@
+package hu.webarticum.jsatbuilder.satbuilder.core;%0A%0Aimport java.util.ArrayList;%0Aimport java.util.List;%0A%0Aimport hu.webarticum.jsatbuilder.sat.Solver;%0A%0Apublic class ConstraintSetSolverFiller implements SolverFiller %7B%0A    %0A    private List%3CConstraint%3E constraints = new ArrayList%3CConstraint%3E();%0A    %0A    public void add(Constraint constraint) %7B%0A        constraints.add(constraint);%0A    %7D%0A%0A    @Override%0A    public void fillSolver(Solver solver) %7B%0A        %0A        // TODO%0A        %0A    %7D%0A    %0A%7D%0A

Add skeleton of ConstraintSetSolverFiller