p7magma (pypi): Magma Python interface
Keywords: library|paris-diderot|python|students