I can see Solver being a useful part of getting to this kind of solution, but Solver is not going to just do this by itself without some input on your part. Here's how I would envision approaching a problem like this.

1) Solver's part in this kind of problem is going to be as a root finder (Solver is usually very good at finding roots of equations). So the first step in this problem is to use algebra to put the equation into a f(A,B)=0 form. For the simple example given f(A,B)=A+B-X=0. Set up the spreadsheet so that you can enter any two of these variables. In this case, we will put 4 in for X.
2) We know that A>=1 and an integer, so let's put the first possibility in for A -- 1. Knowing how this function behaves, we expect B will be near 4, so put 4 in for B as an initial guess. Call Solver, tell it to set f equal to a value of 0 by changing B.
3) Examine the resulting B. If B is an integer and B>=1, then we have found a solution. Decide how you want to "capture" the solution in the spreadsheet.
4) Go back to step 2, and repeat for the next possible value of A (2), continue repeating steps 2 and 3 with different values for A until you are satisfied that you have found every possible solution.

Depending on what you did in 3 to capture the solutions, you should now be able to state how many solutions there are and what those solutions are.
That should be a decent generic solution for a fairly generic question. From there, the details will depend on other constraints or requirements you will put on the project (how much input do you expect from the user, how much is supposed to occur without user input, etc).