Skip to content
STIMSMITH

SMT2 Constraint Language Input

CodeArtifact
First seen 7/14/2026
Last seen 7/14/2026
Evidence 1 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Performance of a SystemVerilog Sudoku Solver with VCS ← uses 95% 1e
The paper translates constraints to SMT2 format to use with public domain SAT solvers.
MathSAT5 ← uses 95% 1e
SMT2 constraint language input is used by MathSAT5 as its input format.
Yices ← uses 95% 1e
SMT2 constraint language input is used by Yices as its input format.
Z3 ← uses 95% 1e
SMT2 constraint language input is used by Z3 as its input format.