00

MiniSAT

Tool ☆ WATCH ⎘ SHARE

First seen 7/2/2026

Last seen 9/5/2026

Evidence 2 chunks

01

NEIGHBORHOOD

3 nodes · 4 edges

graph · MiniSAT · depth=1

02

RELATIONSHIPS

3 connections

metaSMT ← uses 100% 1e evidence

metaSMT 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 evidence

The paper uses CBMC with the built-in MiniSAT solver for equivalence checks.

CBMC ← uses 95% 1e evidence

CBMC uses MiniSAT as its built-in SAT solver.