Abstract interpretation was proposed for predicting changes of reaction networks with partial kinetic information in systems biology. This requires to compute the set difference abstractions a system linear equations under nonlinear constraints. We present first practical algorithm that can equation exactly. also new heuristics based on minimal support consequences overapproximating abstraction...