A library implementing the MaaStar algorithm.