YICES 2 SMT Solver
Data and Resources
This dataset has no data
Additional Info
| Field | Value |
|---|---|
| Maintainer | Kevin Schweiker |
| Last Updated | July 17, 2025, 17:53 (UTC) |
| Created | April 1, 2025, 03:04 (UTC) |
| accessLevel | public |
| accrualPeriodicity | irregular |
| bureauCode | {026:00} |
| catalog_@context | https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld |
| catalog_@id | https://data.nasa.gov/data.json |
| catalog_conformsTo | https://project-open-data.cio.gov/v1.1/schema |
| catalog_describedBy | https://project-open-data.cio.gov/v1.1/schema/catalog.json |
| harvest_object_id | 1888d940-97a5-4d1a-829b-2a69505b618f |
| harvest_source_id | 61638e72-b36c-4866-9d28-551a3062f158 |
| harvest_source_title | DNG Legacy Data |
| identifier | DASHLINK_597 |
| issued | 2012-06-11 |
| landingPage | https://c3.nasa.gov/dashlink/resources/597/ |
| modified | 2020-01-29 |
| programCode | {026:029} |
| publisher | Dashlink |
| resource-type | Dataset |
| source_datajson_identifier | true |
| source_hash | 5907f5a74a25f8f6b873dc159b34bc8197a2095e0f0fcc79b1b4ec246323aa08 |
| source_schema_version | 1.1 |