{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:SDQYUKQ6GGI5YLA3BJCOOCG5IM","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a93a6cba894015c02d5662ced0dedc4448b22e6162221759a37e17b1b348eb39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:49:20Z","title_canon_sha256":"368550ad184e253712dae689556d68aee67dc1cfe79809c49d084c53de1fa6ed"},"schema_version":"1.0","source":{"id":"1301.7702","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7702","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7702v1","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7702","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"SDQYUKQ6GGI5","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SDQYUKQ6GGI5YLA3","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SDQYUKQ6","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:0bcde1c713b0d4e0714ff0a759f2d3799388a4c12f187b6d50e5612991d938bf","target":"graph","created_at":"2026-05-18T03:34:48Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component.\n  The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; high-efficiency, being competitive with other FD im","authors_text":"Emilio Jes\\'us Gallego Arias, Jos\\'e F. Morales, Manuel V. Hermenegildo, R\\'emy Haemmerl\\'e","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:49:20Z","title":"The Ciao clp(FD) Library. A Modular CLP Extension for Prolog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7702","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:d478d5ed1f7dbf548703e9d441e67767d22fb75a14e0245f52eca95e2254df75","target":"record","created_at":"2026-05-18T03:34:48Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a93a6cba894015c02d5662ced0dedc4448b22e6162221759a37e17b1b348eb39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:49:20Z","title_canon_sha256":"368550ad184e253712dae689556d68aee67dc1cfe79809c49d084c53de1fa6ed"},"schema_version":"1.0","source":{"id":"1301.7702","kind":"arxiv","version":1}},"canonical_sha256":"90e18a2a1e3191dc2c1b0a44e708dd431eaca84a3bd555e0b173dd8a22c48d4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90e18a2a1e3191dc2c1b0a44e708dd431eaca84a3bd555e0b173dd8a22c48d4a","first_computed_at":"2026-05-18T03:34:48.869333Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:48.869333Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u+O7NmXUIAPhKIi/XidYqHOZ28FMvB+Wc5LTHNC5GvnWSEkNpwLP3ZqJBtE5qbnpvLMuN4q3N1tnEDLvYXm5CA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:48.869915Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.7702","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d478d5ed1f7dbf548703e9d441e67767d22fb75a14e0245f52eca95e2254df75","sha256:0bcde1c713b0d4e0714ff0a759f2d3799388a4c12f187b6d50e5612991d938bf"],"state_sha256":"24bc9ceb73263116f48700df62a2a63a40f34319cb87c7dac64ebd16fea56705"}