sage-BRiAl is the python implementation of BRiAl that relies on sage to
interface with libbrial.