Class | DepSelector::Exceptions::NoSolutionFound |
In: |
lib/dep_selector/exceptions.rb
|
Parent: | StandardError |
This exception is thrown by gecode_wrapper and only used internally
unsatisfiable_problem | [R] |