CryptoMiniSAT

Tool

First seen 7/17/2026

Last seen 9/7/2026

Evidence 4 chunks

NEIGHBORHOOD

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

3 connections

UniGen ← uses 100% 2e

UniGen's BSAT procedure is implemented using CryptoMiniSAT, a SAT solver with XOR clause handling.

GenerateSamples invokes CryptoMiniSAT (via BSAT calls) to solve SAT queries.

UniGen2 ← uses 100% 1e

UniGen2 employs CryptoMiniSAT as its underlying SAT solver.