{"@type": "dcat:Dataset", "accessLevel": "public", "accrualPeriodicity": "irregular", "bureauCode": ["026:00"], "contactPoint": {"@type": "vcard:Contact", "fn": "Kevin Schweiker", "hasEmail": "mailto:kevin.schweiker@honeywell.com"}, "description": "Link to SRI's site.  \r\nAvailable for Windows, MacOS, Linux and FreeBSD. Non-commercial use.", "identifier": "DASHLINK_597", "issued": "2012-06-11", "keyword": ["ames", "dashlink", "nasa"], "landingPage": "https://c3.nasa.gov/dashlink/resources/597/", "modified": "2025-07-17", "programCode": ["026:029"], "publisher": {"@type": "org:Organization", "name": "Dashlink"}, "title": "YICES 2 SMT Solver"}