#include <methods.h>
List of all members.
Exception thrown when the system to be solved is inconsistent. Contains a certificate of inconsistency.