Solver.throwsException(ICause, Variable, String)
Solver.getContradictionException()
Copyright © 2017. All rights reserved.