Exception thrown when the system to be solved is inconsistent. More...
#include <error.h>
Exception thrown when the system to be solved is inconsistent.
Contains a certificate of inconsistency.