[Feat]: Add Multiple Solution Search and Uniqueness Verification

Currently, the `solve()` method terminates after finding the first feasible or optimal solution. For logic puzzles, it is crucial to verify whether a puzzle is "well-posed," meaning it has exactly one unique solution. Users currently cannot determine if the provided solution is the only possible one using the existing API.