MathSAT5

Tool

First seen 7/14/2026

Last seen 7/14/2026

Evidence 3 chunks

NEIGHBORHOOD

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

3 connections

The paper evaluates MathSAT5 as a public domain SAT solver and compares it against VCS.

VCS compares with → 100% 2e

VCS is compared against MathSAT5 for constraint solving performance.

SMT2 constraint language input is used by MathSAT5 as its input format.