{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2026-06-11T08:35:36.534507+00:00", "custom_fields": { "code:codeRepository": "https://git.frama-c.com/pub/colibri", "code:developmentStatus": { "id": "active", "title": { "en": "Active" } }, "code:programmingLanguage": [ { "id": "prolog", "title": { "en": "Prolog" } }, { "id": "tcl", "title": { "en": "Tcl" } }, { "id": "ocaml", "title": { "en": "OCaml" } } ] }, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 2, "enabled": true, "entries": { "colibri-2026.06-v5.tar.gz": { "access": { "hidden": false }, "checksum": "md5:13f8bdec97235db1a553a9b7c8ab5e52", "ext": "gz", "id": "932a0192-d222-40cd-b507-81f15262c9d0", "key": "colibri-2026.06-v5.tar.gz", "links": { "content": "https://zenodo.org/api/records/20639619/files/colibri-2026.06-v5.tar.gz/content", "self": "https://zenodo.org/api/records/20639619/files/colibri-2026.06-v5.tar.gz" }, "metadata": {}, "mimetype": "application/gzip", "size": 53150835, "storage_class": "L" }, "colibri-2026.06-v7.tar.gz": { "access": { "hidden": false }, "checksum": "md5:b862915d08d4bbff2ad46a81e13b2033", "ext": "gz", "id": "a361115f-3dbd-4ab7-b479-0fc15df77d91", "key": "colibri-2026.06-v7.tar.gz", "links": { "content": "https://zenodo.org/api/records/20639619/files/colibri-2026.06-v7.tar.gz/content", "self": "https://zenodo.org/api/records/20639619/files/colibri-2026.06-v7.tar.gz" }, "metadata": {}, "mimetype": "application/gzip", "size": 104813338, "storage_class": "L" } }, "order": [], "total_bytes": 157964173 }, "id": "20639619", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/20639619/access", "access_grants": "https://zenodo.org/api/records/20639619/access/grants", "access_links": "https://zenodo.org/api/records/20639619/access/links", "access_request": "https://zenodo.org/api/records/20639619/access/request", "access_users": "https://zenodo.org/api/records/20639619/access/users", "archive": "https://zenodo.org/api/records/20639619/files-archive", "archive_media": "https://zenodo.org/api/records/20639619/media-files-archive", "communities": "https://zenodo.org/api/records/20639619/communities", "communities-suggestions": "https://zenodo.org/api/records/20639619/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.20639619", "draft": "https://zenodo.org/api/records/20639619/draft", "file_modification": "https://zenodo.org/api/records/20639619/file-modification", "files": "https://zenodo.org/api/records/20639619/files", "latest": "https://zenodo.org/api/records/20639619/versions/latest", "latest_html": "https://zenodo.org/records/20639619/latest", "media_files": "https://zenodo.org/api/records/20639619/media-files", "parent": "https://zenodo.org/api/records/11610327", "parent_doi": "https://doi.org/10.5281/zenodo.11610327", "parent_doi_html": "https://zenodo.org/doi/10.5281/zenodo.11610327", "parent_html": "https://zenodo.org/records/11610327", "preview_html": "https://zenodo.org/records/20639619?preview=1", "quota_increase": "https://zenodo.org/api/records/20639619/quota-increase", "request_deletion": "https://zenodo.org/api/records/20639619/request-deletion", "requests": "https://zenodo.org/api/records/20639619/requests", "reserve_doi": "https://zenodo.org/api/records/20639619/draft/pids/doi", "self": "https://zenodo.org/api/records/20639619", "self_doi": "https://doi.org/10.5281/zenodo.20639619", "self_doi_html": "https://zenodo.org/doi/10.5281/zenodo.20639619", "self_html": "https://zenodo.org/records/20639619", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:20639619/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:20639619/sequence/default", "versions": "https://zenodo.org/api/records/20639619/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "contributors": [ { "affiliations": [ { "id": "000dbcc61", "identifiers": [ { "identifier": "000dbcc61", "scheme": "ror" }, { "identifier": "grid.457331.7", "scheme": "grid" }, { "identifier": "0000 0004 0405 1788", "scheme": "isni" } ], "name": "CEA LIST" } ], "person_or_org": { "family_name": "Marre", "given_name": "Bruno", "name": "Marre, Bruno", "type": "personal" }, "role": { "id": "researcher", "title": { "de": "WissenschaftlerIn", "en": "Researcher" } } }, { "affiliations": [ { "name": "CEA LIST" } ], "person_or_org": { "family_name": "Bobot", "given_name": "Fran\u00e7ois", "identifiers": [ { "identifier": "0000-0002-6756-0788", "scheme": "orcid" } ], "name": "Bobot, Fran\u00e7ois", "type": "personal" }, "role": { "id": "researcher", "title": { "de": "WissenschaftlerIn", "en": "Researcher" } } }, { "affiliations": [ { "id": "000dbcc61", "identifiers": [ { "identifier": "000dbcc61", "scheme": "ror" }, { "identifier": "grid.457331.7", "scheme": "grid" }, { "identifier": "0000 0004 0405 1788", "scheme": "isni" } ], "name": "CEA LIST" } ], "person_or_org": { "family_name": "Mouy", "given_name": "Patricia", "name": "Mouy, Patricia", "type": "personal" }, "role": { "id": "researcher", "title": { "de": "WissenschaftlerIn", "en": "Researcher" } } }, { "person_or_org": { "family_name": "Blanc", "given_name": "Benjamin", "name": "Blanc, Benjamin", "type": "personal" }, "role": { "id": "researcher", "title": { "de": "WissenschaftlerIn", "en": "Researcher" } } }, { "affiliations": [ { "id": "000dbcc61", "identifiers": [ { "identifier": "000dbcc61", "scheme": "ror" }, { "identifier": "grid.457331.7", "scheme": "grid" }, { "identifier": "0000 0004 0405 1788", "scheme": "isni" } ], "name": "CEA LIST" } ], "person_or_org": { "family_name": "Junke", "given_name": "Christophe", "name": "Junke, Christophe", "type": "personal" }, "role": { "id": "researcher", "title": { "de": "WissenschaftlerIn", "en": "Researcher" } } }, { "affiliations": [ { "id": "000dbcc61", "identifiers": [ { "identifier": "000dbcc61", "scheme": "ror" }, { "identifier": "grid.457331.7", "scheme": "grid" }, { "identifier": "0000 0004 0405 1788", "scheme": "isni" } ], "name": "CEA LIST" } ], "person_or_org": { "family_name": "Williams", "given_name": "Nicky", "name": "Williams, Nicky", "type": "personal" }, "role": { "id": "researcher", "title": { "de": "WissenschaftlerIn", "en": "Researcher" } } }, { "affiliations": [ { "id": "000dbcc61", "identifiers": [ { "identifier": "000dbcc61", "scheme": "ror" }, { "identifier": "grid.457331.7", "scheme": "grid" }, { "identifier": "0000 0004 0405 1788", "scheme": "isni" } ], "name": "CEA LIST" } ], "person_or_org": { "family_name": "Chihani", "given_name": "Zakaria", "name": "Chihani, Zakaria", "type": "personal" }, "role": { "id": "researcher", "title": { "de": "WissenschaftlerIn", "en": "Researcher" } } } ], "creators": [ { "person_or_org": { "identifiers": [ { "identifier": "000dbcc61", "scheme": "ror" }, { "identifier": "0000 0004 0405 1788", "scheme": "isni" } ], "name": "CEA LIST", "type": "organizational" }, "role": { "id": "researchgroup", "title": { "de": "Forschungsgruppe", "en": "Research group" } } } ], "description": "

COLIBRI provides basic constraints for arithmetic operations and comparisons of various numeric types (integers, reals and floats).

\n

Cast constraints are available for cast operations between these types.

\n

COLIBRI also provides basic procedures allowing to instantiate variables in their domains making it possible to design specific labelling procedures.

", "publication_date": "2026-06-11", "publisher": "Zenodo", "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "rights": [ { "description": { "en": "" }, "id": "lgpl-2.1-or-later", "props": { "scheme": "spdx", "url": "https://www.gnu.org/licenses/old-licenses/lgpl-2.1-standalone.html" }, "title": { "en": "GNU Lesser General Public License v2.1 or later" } } ], "title": "COLIBRI", "version": "2026.06" }, "parent": { "access": { "owned_by": { "user": "1124015" }, "settings": { "accept_conditions_text": null, "allow_guest_requests": false, "allow_user_requests": false, "secret_link_expiration": 0 } }, "communities": { "default": "e5e1c8e4-927a-4335-ba98-b498246029c7", "entries": [ { "access": { "member_policy": "open", "members_visibility": "public", "record_submission_policy": "open", "review_policy": "closed", "visibility": "public" }, "children": { "allow": false }, "created": "2024-06-07T17:47:16.460890+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "id": "e5e1c8e4-927a-4335-ba98-b498246029c7", "links": {}, "metadata": { "description": "The community intended for participants and organizers of International Satisfiability Modulo Theories Competition (SMT-COMP).", "title": "International Satisfiability Modulo Theories Competition (SMT-COMP)", "website": "https://smt-comp.github.io" }, "revision_id": 3, "slug": "smt-comp", "updated": "2024-06-07T17:48:20.548210+00:00" } ], "ids": [ "e5e1c8e4-927a-4335-ba98-b498246029c7" ] }, "id": "11610327", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.11610327", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.20639619", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:20639619", "provider": "oai" } }, "revision_id": 4, "stats": { "all_versions": { "data_volume": 10901794955.0, "downloads": 201, "unique_downloads": 199, "unique_views": 186, "views": 187 }, "this_version": { "data_volume": 1316864219.0, "downloads": 17, "unique_downloads": 17, "unique_views": 15, "views": 15 } }, "status": "published", "swh": {}, "updated": "2026-06-11T08:35:36.870945+00:00", "versions": { "index": 3, "is_latest": true } }