ISolver.findModel(VecInt) is affected by previous call
In my project i use sat4-sat to check satisfiable of different literals agains one set of constraints. So i found a situation, in which one call of solver.findModel(IVecInt) have an affect to the next one.
In the attachted file, you find my junit test which fails, but if you comment out "bound5" with the corresponding solver call everything will be fine.
The importend part of this test, are the last three lines. This lines check if literal 1, 2 and 4 are part of the solution. 1 have to be part of the solution, because this literal is part of a clause which have no other lierals. 2 should be true, because 1 is it.
This part of the test fails if and only if i search for a solution with 4 and -3.