solver on formula
add contributor