Return to search results

YICES 2 SMT Solver

Published by Dashlink | National Aeronautics and Space Administration | Metadata Last Checked: August 03, 2025 | Last Modified: 2025-07-17

Link to SRI's site. Available for Windows, MacOS, Linux and FreeBSD. Non-commercial use.

Find Related Datasets

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