notEquals method

bool notEquals(
  1. Numeral other
)

Implementation

bool notEquals(Numeral other) => _c._z3.algebraic_neq(_n, other._n);