{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:WP6ECQ3NRCSGWFAUC3OQJC2NR2","short_pith_number":"pith:WP6ECQ3N","schema_version":"1.0","canonical_sha256":"b3fc41436d88a46b141416dd048b4d8ebee7e855a930c2c4d4339fd448682a45","source":{"kind":"arxiv","id":"1505.04210","version":1},"attestation_state":"computed","paper":{"title":"RNAiFold 2.0: A web server and software to design custom and Rfam-based RNA molecules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.BM","authors_text":"Ivan Dotu, Juan Antonio Garcia-Martin, Peter Clote","submitted_at":"2015-05-15T22:17:06Z","abstract_excerpt":"Several algorithms for RNA inverse folding have been used to design synthetic riboswitches, ribozymes and thermoswitches, whose activity has been experimentally validated. The RNAiFold software is unique among approaches for inverse folding in that (exhaustive) constraint programming is used instead of heuristic methods. For that reason, RNAiFold can generate all sequences that fold into the target structure, or determine that there is no solution. RNAiFold 2.0 is a complete overhaul of RNAiFold 1.0, rewritten from the now defunct COMET language to C++. The new code properly extends the capabi"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1505.04210","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2015-05-15T22:17:06Z","cross_cats_sorted":[],"title_canon_sha256":"bac1f789f7d4dba26243d665a834f931c36b5222ba59ecfb5021a68151e35586","abstract_canon_sha256":"a36a2403b0912eb1b62fb63b0e2445ea786de656f87e6f812bfd320f4b1028dd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:00:58.395323Z","signature_b64":"TSoh16YBkc2QWgS2PmhnbLe7y7KUk6OYDtS0V5tQl6bMD6Cl9XS6q8/NY/s/18nKUW2lYD8/CbBKG7xfaT8sBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3fc41436d88a46b141416dd048b4d8ebee7e855a930c2c4d4339fd448682a45","last_reissued_at":"2026-05-18T02:00:58.394684Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:00:58.394684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"RNAiFold 2.0: A web server and software to design custom and Rfam-based RNA molecules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.BM","authors_text":"Ivan Dotu, Juan Antonio Garcia-Martin, Peter Clote","submitted_at":"2015-05-15T22:17:06Z","abstract_excerpt":"Several algorithms for RNA inverse folding have been used to design synthetic riboswitches, ribozymes and thermoswitches, whose activity has been experimentally validated. The RNAiFold software is unique among approaches for inverse folding in that (exhaustive) constraint programming is used instead of heuristic methods. For that reason, RNAiFold can generate all sequences that fold into the target structure, or determine that there is no solution. RNAiFold 2.0 is a complete overhaul of RNAiFold 1.0, rewritten from the now defunct COMET language to C++. The new code properly extends the capabi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.04210","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1505.04210","created_at":"2026-05-18T02:00:58.394809+00:00"},{"alias_kind":"arxiv_version","alias_value":"1505.04210v1","created_at":"2026-05-18T02:00:58.394809+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.04210","created_at":"2026-05-18T02:00:58.394809+00:00"},{"alias_kind":"pith_short_12","alias_value":"WP6ECQ3NRCSG","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"WP6ECQ3NRCSGWFAU","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"WP6ECQ3N","created_at":"2026-05-18T12:29:47.479230+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2","json":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2.json","graph_json":"https://pith.science/api/pith-number/WP6ECQ3NRCSGWFAUC3OQJC2NR2/graph.json","events_json":"https://pith.science/api/pith-number/WP6ECQ3NRCSGWFAUC3OQJC2NR2/events.json","paper":"https://pith.science/paper/WP6ECQ3N"},"agent_actions":{"view_html":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2","download_json":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2.json","view_paper":"https://pith.science/paper/WP6ECQ3N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1505.04210&json=true","fetch_graph":"https://pith.science/api/pith-number/WP6ECQ3NRCSGWFAUC3OQJC2NR2/graph.json","fetch_events":"https://pith.science/api/pith-number/WP6ECQ3NRCSGWFAUC3OQJC2NR2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/action/storage_attestation","attest_author":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/action/author_attestation","sign_citation":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/action/citation_signature","submit_replication":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/action/replication_record"}},"created_at":"2026-05-18T02:00:58.394809+00:00","updated_at":"2026-05-18T02:00:58.394809+00:00"}