metaSMT

Tool

First seen 7/2/2026

Last seen 7/17/2026

Evidence 4 chunks

NEIGHBORHOOD

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

9 connections

CRAVE ← uses 100% 2e

CRAVE uses metaSMT for implementing the constraint-solving backend.

Z3 uses → 100% 1e

metaSMT provides access to Z3 as a backend solver.

MiniSAT uses → 100% 1e

metaSMT provides access to MiniSAT as a backend solver.

CUDD uses → 100% 1e

metaSMT provides access to CUDD as a backend solver.

boolector uses → 100% 1e

metaSMT provides access to Boolector as a backend solver.

PicoSAT uses → 100% 1e

metaSMT provides access to PicoSAT as a backend solver.

SWORD uses → 100% 1e

metaSMT provides access to SWORD as a backend solver.

AIGER uses → 100% 1e

metaSMT provides access to AIGER as a backend solver.

The paper references metaSMT for solver integration.