ANSi: GaMBiT -ECLiPSE-