storm_exact_use_cln

storm_exact_use_cln() → bool

Check if exact arithmetic in Storm uses CLN or GMP.

Returns:

True iff exact arithmetic uses CLN.

Return type:

bool