Framework for parallel Graver computation implemented