ISolver.isSatisfiable(VecInt) is affected by previous call
The method ISolver.isSatisfiable(VecInt) is affected by previous calls which leads to unexpected results.
The method ISolver.isSatisfiable(VecInt) is affected by previous calls which leads to unexpected results.