Start Developer API Documentation stormpy.numbers.developer carl_version carl_version¶ Warning The stormpy developer API is internal and can be subject to change. carl_version()¶ Get Carl version. :return: Version of Carl.