yices2

2.7.0

Yices SMT Solver

Install

brew install yices2

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.7.0	File SHA-256 `163c03ac6911f351e74fb75e7e311408e150bd84cb52d9019ca51eac764c4892`
Apple Silicon	Tahoe	2.7.0	File SHA-256 `2df989805c717cb45574f0bf1d84eabdec50cf4d5748a9f1f8bdbf0cde5c9fa2`
Apple Silicon	Sequoia	2.7.0	File SHA-256 `d94ae8d40c3a882393d36e3f868f9dde59c24beb2202b483063a5185075139ee`
Apple Silicon	Sonoma	2.7.0	File SHA-256 `c250094bd74818ddb24ea16c6ebe228f2b096e2cfad0823e81c15968cd8bb915`
Apple Silicon	Ventura	2.7.0	File SHA-256 `acb1d683ad88ff73884a8763b4be8a6a8ef2191e1e0c9bb4f1148ad567b6fe9f`
Intel	Sonoma	2.7.0	File SHA-256 `a96677d6a211fad706027741156659a27248c92cfdc551af54320447b60c6541`
Intel	Ventura	2.7.0	File SHA-256 `43e43decf3e87e3f9d0dea527de3716dfe4bebeae53f284770febd4e999a5d1b`
ARM64	Linux	2.7.0	File SHA-256 `5c7c20fd75460a7097c96078649acb02fce6c2d0a51612e87c2f2471840358c3`
x86_64	Linux	2.7.0	File SHA-256 `2509483f7fa18241b1a4005a408ec700e5c4e5c567e0e63d6f7f1f783b179bbc`