Gravar-mail: Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology