A contradiction is a c++ exception thrown whenever kalis deduce that the problem is inconsistent (i.e it has no solution)
Public Functions
Constructor