Check for lrs

sage.features.lrs.Lrs

A sage.features.Feature describing the presence of the lrs binary which comes as a part of lrslib.

EXAMPLES:

sage: from sage.features.lrs import Lrs
sage: Lrs().is_present()  # optional: lrslib
FeatureTestResult('lrslib', True)