Data · dataset · 2025
YICES 2 SMT Solver
Listed in NASA Data Portal
Link to SRI's site.
Description
Available for Windows, MacOS, Linux and FreeBSD. Non-commercial use.
Links
Where it is published
- NASA Data Portal dataset page data.nasa.gov/dataset/yices-2-smt-solver ↗
landing page · from data nasa gov
Catalogue records · 1
- CKAN API data.nasa.gov/api/3/action/package_show?id=eb7abd61-f506-41db-995b-002fc41da… ↗
metadata API · from data nasa gov
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| NASA Data Portal | eb7abd61-f506-41db-995b-002fc41da888 | 9 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| created_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| description | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /notes |
| license_text | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| publication_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| title | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /title |
| updated_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 |