{"name":"movesrwth/carl-storm","last_synced_at":"2026-07-07T08:01:04.036Z","versions_count":3,"latest_release_published_at":"2025-09-02T14:11:29.381Z","latest_release_number":"14.32.1","created_at":"2025-02-24T13:01:12.350Z","updated_at":"2026-07-07T08:01:04.037Z","has_sbom":true,"dependencies_count":424,"description":"CArL-Storm - the Computer ARithmetic and Logic library for the probabilistic model checker Storm","downloads":5338,"repository_url":null,"url":"https://docker.ecosyste.ms/api/v1/packages/movesrwth%2Fcarl-storm","versions_url":"https://docker.ecosyste.ms/api/v1/packages/movesrwth%2Fcarl-storm/versions"}