Implementation for solving CNEq constraints