storm_ratfunc_use_cln

storm_ratfunc_use_cln() → bool

Check if rational functions in Storm use CLN or GMP.

Returns:

True iff rational functions use CLN.

Return type:

bool