YICES 2 SMT Solver
Access & Use Information
Public: This dataset is intended for public access and use.
License: No license information was provided. If this work was prepared by an officer or employee of the United States government as part of that person's official duties it is considered a U.S. Government Work.
Downloads & Resources
-
Landing PageLanding Page
No file downloads have been provided. The publisher may provide downloads in the future or they may be available from their other links.
Dates
| Metadata Created Date | November 12, 2020 |
|---|---|
| Metadata Updated Date | August 22, 2025 |
| Data Update Frequency | irregular |
Metadata Source
- Data.json Data.json Metadata
Harvested from NASA Data.json
Additional Metadata
| Resource Type | Dataset |
|---|---|
| Metadata Created Date | November 12, 2020 |
| Metadata Updated Date | August 22, 2025 |
| Publisher | Dashlink |
| Maintainer | |
| Identifier | DASHLINK_597 |
| Data First Published | 2012-06-11 |
| Data Last Modified | 2025-07-17 |
| Public Access Level | public |
| Data Update Frequency | irregular |
| Bureau Code | 026:00 |
| Metadata Context | https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld |
| Schema Version | 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 | d0c23a17-40b9-4bd6-b334-ca902defe445 |
| Harvest Source Id | 58f92550-7a01-4f00-b1b2-8dc953bd598f |
| Harvest Source Title | NASA Data.json |
| Homepage URL | https://c3.nasa.gov/dashlink/resources/597/ |
| Program Code | 026:029 |
| Source Datajson Identifier | True |
| Source Hash | 1f5c6bfa7fa14ef697cb18af8cadc94f74d32381f5779aaf101daa9964e6aae4 |
| Source Schema Version | 1.1 |
Didn't find what you're looking for? Suggest a dataset here.