GitHub repository: Julian-Kuelshammer/Bocses
Description: A Magma package for computing with bocses