YICES 2 SMT Solver
Link to SRI's site.
Available for Windows, MacOS, Linux and FreeBSD. Non-commercial use.
Find Related Datasets
Search by Tags
Click any tag below to search for similar datasets
Complete Metadata
| @type | dcat:Dataset |
|---|---|
| accessLevel | public |
| accrualPeriodicity | irregular |
| bureauCode |
[ "026:00" ] |
| contactPoint |
{ "fn": "Kevin Schweiker", "@type": "vcard:Contact", "hasEmail": "mailto:kevin.schweiker@honeywell.com" } |
| description | Link to SRI's site. Available 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 |
{ "name": "Dashlink", "@type": "org:Organization" } |
| title | YICES 2 SMT Solver |
