MiniSAT
ToolFirst seen 7/2/2026
Last seen 9/5/2026
Evidence 2 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connectionsmetaSMT provides access to MiniSAT as a backend solver.
Registered Report: Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking ← uses 90% 1e
The paper uses CBMC with the built-in MiniSAT solver for equivalence checks.
CBMC uses MiniSAT as its built-in SAT solver.