Could you tell us more about the solver ? where can we find the source code ? how does it works ? thanks.