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.
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.