has_cln

Warning

The stormpy developer API is internal and can be subject to change.

has_cln()

Check if pycarl has support for CLN. :return: True iff CLN is supported.