Modelling the impact of the macroalgae Asparagopsis taxiformis on rumen microbial fermentation