class Gecode::NoSolutionError

An exception raised when a search failed because there are no solutions.