Skip to content
STIMSMITH

Yices

Tool
First seen 6/22/2026
Last seen 7/16/2026
Evidence 6 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections
Performance of a SystemVerilog Sudoku Solver with VCS ← evaluates 100% 2e
The paper evaluates Yices as a public domain SAT solver and compares it against VCS.
VCS ← compares with 100% 2e
VCS is compared against Yices for constraint solving performance.
MicroTESK ← uses 95% 1e
MicroTESK suggests using Yices as one of the SMT solvers.
SMT2 Constraint Language Input uses → 95% 1e
SMT2 constraint language input is used by Yices as its input format.
Bounded Model Checking ← uses 90% 1e
BMC uses optimised solver backends like Yices to find assertion violations in RISC-V control FSMs.